3931 search results - page 482 / 787 » Separation logic and abstraction |
180
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
: Double-Gate (DG) transistors have emerged as promising devices for nano-scale circuits due to their better scalability compared to bulk CMOS. Among the various types of DG device...
220
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applicatio...
223
click to vote
JAVA
2001
Springer
15 years 11 months ago
2001
Springer
CX, a network-based computational exchange, is presented. The system’s design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks, e...
236
click to vote
AAAI
2010
15 years 8 months ago
2010
Recent research has shown that surprisingly rich models of human behavior can be learned from GPS (positional) data. However, most research to date has concentrated on modeling si...
214
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...