1564 search results - page 266 / 313 » Tool Support for Architectural Decisions |
182
click to vote
DAC
2003
ACM
15 years 7 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
142
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
162
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
120
click to vote
ISMIS
2000
Springer
15 years 5 months ago
2000
Springer
A learned lesson, in the context of a pre-defined organizational process, summarizes an experience that should be used to modify that process, under the conditions for which that l...
115
click to vote
IPSJ
1994
15 years 3 months ago
1994
The goal of the Tsimmis Project is to develop tools that facilitate the rapid integration of heterogeneous information sources that may include both structured and unstructured da...