Sciweavers

1260 search results - page 29 / 252
» OpenJ: An Extensible System Level Design Language
Sort
View
VLDB
2006
ACM
124views Database» more  VLDB 2006»
15 years 10 months ago
Dynamic buffer management with extensible replacement policies
The objective of extensible DBMSs is to ease the construction of specialized DBMSs for nontraditional applications. Although much work has been done in providing various levels of ...
Chong Leng Goh, Yanfeng Shu, Zhiyong Huang, Beng C...
HYBRID
1994
Springer
15 years 1 months ago
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, He...
88
Voted
VLSID
1999
IEEE
101views VLSI» more  VLSID 1999»
15 years 1 months ago
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
Ingo Sander, Axel Jantsch
JUCS
2000
102views more  JUCS 2000»
14 years 9 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
ISSTA
2004
ACM
15 years 3 months ago
Automating commutativity analysis at the design level
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
Greg Dennis, Robert Seater, Derek Rayside, Daniel ...