4887 search results - page 606 / 978 » System Level Design Using C |
190
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
186
click to vote
IAAI
2003
15 years 8 months ago
2003
This paper describes SWAT, a Secure Wireless Agent Testbed. Our goal is to create an integrated environment to study information assurance for mobile agent systems on ad hoc wirel...
196
click to vote
HASKELL
2006
ACM
16 years 22 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
171
click to vote
PVM
2005
Springer
16 years 8 days ago
2005
Springer
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
166
click to vote
SIGGRAPH
2003
ACM
16 years 19 hour ago
2003
ACM
Our design goal for OnLive Traveler was to develop a virtual community system that emulates natural social paradigms, allowing the participants to sense a tele-presence, the subje...