626 search results - page 71 / 126 » Towards a Unified Programming Language |
162
click to vote
POPL
2010
ACM
16 years 16 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
137
click to vote
SPAA
2009
ACM
16 years 3 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
121
click to vote
UM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
120
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In 1997 we presented ten challenges for research on satisfiability testing [1]. In this paper we review recent progress towards each of these challenges, including our o...
142
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...