10848 search results - page 1873 / 2170 » Programming in Biomolecular Computation |
189
click to vote
IEEEPACT
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
187
click to vote
IROS
2007
IEEE
16 years 29 days ago
2007
IEEE
— In an effort to ease the burden of programming motor commands for humanoid robots, a computer vision technique is developed for converting a monocular video sequence of human p...
202
click to vote
ISORC
2007
IEEE
16 years 29 days ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...
196
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
162
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...