3053 search results - page 380 / 611 » Performance of Generative Programming Based Protocol Impleme... |
138
Voted
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Wireless sensor networks come of age and start moving out of the laboratory into the field. As the number of deployments is increasing the need for an efficient and relia...
127
click to vote
ISMIS
1993
Springer
15 years 7 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
124
Voted
MOBIHOC
2009
ACM
16 years 3 months ago
2009
ACM
In this demo we present the Wireless Open-Access Research Platform for Networks (WARPnet), a research testbed aimed at performing experiments at the network level. The platform is...
127
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
127
Voted
LCTRTS
1998
Springer
15 years 7 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...