1892 search results - page 277 / 379 » Warren's Abstract Machine |
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract—Gravity balancing is often used in industrial machines to decrease the required actuator efforts during motion. In this paper, we present a new design for gravity balanc...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Software transactional memory systems enable a programmer to easily write concurrent data structures such as lists, trees, hashtables, and graphs, where non-conflicting operation...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
TASE
2007
IEEE
14 years 4 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
CAISE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...