2271 search results - page 109 / 455 » Scalable Software Libraries |
123
click to vote
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
In recent years, the microprocessor industry has embraced chip multiprocessors (CMPs), also known as multi-core architectures, as the dominant design paradigm. For existing and ne...
116
Voted
SPIN
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
101
click to vote
ADAEUROPE
2007
Springer
15 years 8 months ago
2007
Springer
Modernlarge real-time systems are becoming more complex. Whilst Ada 2005 provides a comprehensive set of programming mechanisms that allow these systems to be implethe abstraction...
103
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...
127
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...