3311 search results - page 511 / 663 » Deductive Object Programming |
110
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
132
click to vote
SOCO
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
101
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
121
click to vote
COMSWARE
2006
IEEE
15 years 8 months ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...
112
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
— In this paper, we present the first multi-objective microarchitectural floorplanning algorithm for designing highperformance, high-reliability processors in the early design ...