9595 search results - page 1515 / 1919 » Functional programming in C |
211
click to vote
ASPLOS
2004
ACM
16 years 9 days ago
2004
ACM
Increased integration in the form of multiple processor cores on a single die, relatively constant die sizes, shrinking power envelopes, and emerging applications create a new cha...
212
click to vote
CSCW
2004
ACM
16 years 9 days ago
2004
ACM
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...
175
click to vote
ISLPED
2004
ACM
16 years 9 days ago
2004
ACM
The quadratic relationship between voltage and energy has made dynamic voltage scaling (DVS) one of the most powerful techniques to reduce system power demands. Recently, techniqu...
254
click to vote
ESOP
2004
Springer
16 years 8 days ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
182
click to vote
SAB
2004
Springer
16 years 7 days ago
2004
Springer
This paper provides an overview of the SWARM-BOTS project, a robotic project sponsored by the Future and Emerging Technologies program of the European Commission. The paper illustr...