6456 search results - page 1120 / 1292 » Constraint Solving on Terms |
184
Voted
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
New protocols for the data link and network layer are being proposed to address limitations of current protocols in terms of scalability, security, and manageability. High-speed r...
195
click to vote
CLEF
2007
Springer
16 years 1 months ago
2007
Springer
This article describes the participation of the University and Hospitals of Geneva at three tasks of the 2007 ImageCLEF image retrieval benchmark. The visual retrieval techniques r...
198
click to vote
LCTRTS
2007
Springer
16 years 1 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
307
Voted
SENSYS
2006
ACM
16 years 1 months ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
223
click to vote
VEE
2006
ACM
16 years 1 months ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...