Sciweavers

3676 search results - page 498 / 736
» Scalable component abstractions
Sort
View
164
Voted
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
162
Voted
DAC
1999
ACM
15 years 11 months ago
Parallel Mixed-Level Power Simulation Based on Spatio-Temporal Circuit Partitioning
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
Mauro Chinosi, Roberto Zafalon, Carlo Guardiani
VRML
1999
ACM
15 years 11 months ago
ToolSpace: Web based 3D Collaboration
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
T. Goddard, Vaidy S. Sunderam
INFOCOM
1999
IEEE
15 years 11 months ago
CEDAR: a Core-Extraction Distributed Ad Hoc Routing Algorithm
Abstract--CEDAR is an algorithm for QoS routing in ad hoc network environments. It has three key components: (a) the establishment and maintenance of a self-organizing routing infr...
Prasun Sinha, Raghupathy Sivakumar, Vaduvur Bhargh...
ECOOP
1999
Springer
15 years 11 months ago
Synthesizing Objects
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
Krzysztof Czarnecki, Ulrich W. Eisenecker