6456 search results - page 1120 / 1292 » Constraint Solving on Terms |
155
click to vote
SIGCOMM
2009
ACM
16 years 28 days 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...
168
click to vote
CLEF
2007
Springer
16 years 18 days 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...
175
click to vote
LCTRTS
2007
Springer
16 years 17 days 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...
277
click to vote
SENSYS
2006
ACM
16 years 11 days 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...
195
click to vote
VEE
2006
ACM
16 years 11 days 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...