4480 search results - page 491 / 896 » Prototyping Completion with Constraints Using Computational ... |
187
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
When new technologies for production and dissemination of information emerge and are adopted, we see a dramatic increase in the quantity of information that is made available for ...
174
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
166
click to vote
ISCC
2003
IEEE
16 years 1 days ago
2003
IEEE
In previous work, we thoroughly studied the intricate problem of energy conservation in wireless ad hoc networks. Consequently, we proposed a novel framework, namely Quasi-Guarante...
218
click to vote
AVSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Low-cost and low-power video surveillance systems based on networks of wireless video sensors will enter soon the marketplace with the promise of flexibility, quick deployment an...
184
click to vote
DSD
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper we present an approach for the mapping optimization of fault-tolerant embedded systems for safetycritical applications. Processes and messages are statically schedul...