13271 search results - page 2360 / 2655 » Computers, Programming, and People |
190
click to vote
IEEEPACT
2007
IEEE
16 years 1 months 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...
192
click to vote
IROS
2007
IEEE
16 years 1 months 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...
204
click to vote
ISORC
2007
IEEE
16 years 1 months 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...
198
Voted
LICS
2007
IEEE
16 years 1 months 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 ...
163
Voted
LICS
2007
IEEE
16 years 1 months 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...