Sciweavers

234 search results - page 21 / 47
» A data-oriented transaction execution engine and supporting ...
Sort
View
DEBU
2008
131views more  DEBU 2008»
14 years 9 months ago
Testing Berkeley DB
Oracle Berkeley DB is a family of database engines that provide high performance, transactional data management on a wide variety of platforms. Berkeley DB products are available ...
Ashok Joshi, Charles Lamb, Carol Sandstrom
EMSOFT
2011
Springer
13 years 9 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
IWPC
2009
IEEE
15 years 4 months ago
OGAN: Visualizing object interaction scenarios based on dynamic interaction context
Visualizing an execution trace of an object-oriented system as sequence diagrams is effective to understand the behavior of the system. To support developers to understand concret...
Munakata Satoshi, Takashi Ishio, Katsuro Inoue
80
Voted
WCRE
2006
IEEE
15 years 3 months ago
Mining Control Flow Graphs for Crosscutting Concerns
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
Jens Krinke
SIGMOD
2009
ACM
140views Database» more  SIGMOD 2009»
15 years 10 months ago
Distributed data-parallel computing using a high-level programming language
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
Michael Isard, Yuan Yu