1943 search results - page 340 / 389 » Ordering Default Theories |
94
Voted
ICFP
2008
ACM
16 years 22 days ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
122
Voted
ICFP
2003
ACM
16 years 22 days ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
92
Voted
ICDE
2010
IEEE
16 years 16 days ago
2010
IEEE
In today's Internet applications or sensor networks we often encounter large amounts of data spread over many physically distributed nodes. The sheer volume of the data and ba...
117
click to vote
MOBIHOC
2008
ACM
16 years 11 days ago
2008
ACM
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...
117
click to vote
MOBIHOC
2008
ACM
16 years 11 days ago
2008
ACM
Broadcast scheduling is a fundamental problem in wireless ad hoc networks. The objective of a broadcast schedule is to deliver a message from a given source to all other nodes in ...