1548 search results - page 304 / 310 » Computational Approaches to Sentence Completion |
136
click to vote
RTSS
1998
IEEE
15 years 3 months ago
1998
IEEE
The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. In this paper we describe the synthesis of systems-...
101
Voted
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
ACSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
The early 1980s saw the development of some rather sophisticated distributed systems. These were not merely networked file systems: rather, using remote procedure calls, hierarchi...
105
click to vote
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
130
click to vote
SPATIALCOGNITION
2000
Springer
15 years 3 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...