1564 search results - page 95 / 313 » Tool Support for Architectural Decisions |
187
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Traditional debug methodologies are limited in their ability to provide debugging support for many-core parallel programming. Synchronization problems or bugs due to race conditio...
193
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
160
Voted
KBS
2007
15 years 6 months ago
2007
The main intent of this paper is to address the issue of middleware in network centric operations. To this end, we characterize a set of Information Technology capabilities that s...
187
click to vote
WECWIS
2007
IEEE
16 years 11 days ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
134
click to vote
LREC
2010
15 years 7 months ago
2010
We present a software module, the LAT Bridge, which enables bidirectional communication between the annotation and exploration tools developed at the Max Planck Institute for Psyc...