Sciweavers

1446 search results - page 111 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
IFIP
2010
Springer
14 years 11 months ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
CISIS
2010
IEEE
15 years 8 months ago
Automatic Offloading of C++ for the Cell BE Processor: A Case Study Using Offload
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
Alastair F. Donaldson, Uwe Dolinsky, Andrew Richar...
ICSE
2000
IEEE-ACM
15 years 8 months ago
Software engineering and performance: a road-map
Software engineering has traditionally focussed on functional requirements and how to build software that has few bugs and can be easily maintained. Most design approaches include...
Rob Pooley
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
15 years 11 months ago
Orchestrating concurrency in robot swarms
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
Anthony Cowley, Camillo J. Taylor
125
Voted
ECBS
2004
IEEE
94views Hardware» more  ECBS 2004»
15 years 8 months ago
Applications for Mobile Agents in Peer-to-Peer-Networks
Peer-to-Peer-Networking has lately become one of the most popular applications used in the Internet. Today's applications allow users to share files, offer processing power t...
Daniel Lübke, Jorge Marx Gómez