174 search results - page 11 / 35 » Exceptionally Safe Futures |
ETFA
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper shows a model-based design trajectory for the development of real-time embedded control software using virtual prototyping. As a test case, a Cartesian plotter is desig...
COLING
1990
13 years 8 months ago
1990
This paper describes two novel techniques which, when applied together, in practice significantly reduce the time required for unifying disjunctive feature structures. The first i...
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Recently SQL Injection Attack (SIA) has become a major threat to Web applications. Via carefully crafted user input, attackers can expose or manipulate the back-end database of a ...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper we present a heuristic approach to planning in an environment with moving obstacles. Our approach assumes that the robot has no knowledge of the future trajectory...