3844 search results - page 181 / 769 » Modular interpreted systems |
108
Voted
CSMR
2002
IEEE
15 years 8 months ago
2002
IEEE
To successfully carry out a software maintenance or reengineering task, a suitably assembled set of tools is required, which interoperate seaminglessly. To achieve this goal, an e...
139
Voted
ASPDAC
1998
ACM
15 years 7 months ago
1998
ACM
We developed a new modular synthesis approach for design of low-power core-based data-intensive application-specific systems on silicon. The power optimization is conducted in th...
122
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
113
Voted
VVS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes a high-performance special-purpose system, Cube-3, for displaying and manipulating highresolution volumetric datasets in real-time. A primary goal of Cube-3 i...
117
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...