Sciweavers

4166 search results - page 275 / 834
» A modular module system
Sort
View
ASPDAC
1998
ACM
160views Hardware» more  ASPDAC 1998»
15 years 11 months ago
Synthesis of Power Efficient Systems-on-Silicon
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...
Darko Kirovski, Chunho Lee, Miodrag Potkonjak, Wil...
APSEC
2007
IEEE
15 years 10 months ago
Deriving Software Process Simulation Model from SPEM-based Software Process Model
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, ...
Seunghun Park, KeungSik Choi, Kyung-A Yoon, Doo-Hw...
VVS
1995
IEEE
157views Visualization» more  VVS 1995»
15 years 10 months ago
Cube-3: A Real-Time Architecture for High-Resolution Volume Visualization
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...
Hanspeter Pfister, Arie E. Kaufman, Tzi-cker Chiue...
CAV
2010
Springer
157views Hardware» more  CAV 2010»
15 years 10 months ago
Local Verification of Global Invariants in Concurrent Programs
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...
Ernie Cohen, Michal Moskal, Wolfram Schulte, Steph...
SOCRATES
2008
228views Education» more  SOCRATES 2008»
15 years 8 months ago
ScribaLab Ver. 2.0
What is Scribalab 2.0? A system to create web communities and a modular toolbox for writing and publish on the web. It is made up of two main sections both designed to welcome use...
Nuccia Silvana Pirruccello, Gianluca Tramontana