Sciweavers

1732 search results - page 270 / 347
» Sequences of Level 1, 2, 3, ..., k , ..
Sort
View
EMSOFT
2005
Springer
15 years 11 months ago
From statecharts to ESP: programming with events, states and predicates for embedded systems
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu
VLDB
2005
ACM
117views Database» more  VLDB 2005»
15 years 11 months ago
Data Sharing in the Hyperion Peer Database System
This demo presents Hyperion, a prototype system that supports data sharing for a network of independent Peer Relational Database Management Systems (PDBMSs). The nodes of such a n...
Patricia Rodríguez-Gianolli, Maddalena Garz...
WMPI
2004
ACM
15 years 11 months ago
Scalable cache memory design for large-scale SMT architectures
The cache hierarchy design in existing SMT and superscalar processors is optimized for latency, but not for bandwidth. The size of the L1 data cache did not scale over the past dec...
Muhamed F. Mudawar
CAISE
2004
Springer
15 years 11 months ago
Information Modeling and Higher-order Types
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
Terry A. Halpin
ISMIR
2004
Springer
87views Music» more  ISMIR 2004»
15 years 11 months ago
Search Effectiveness Measures for Symbolic Music Queries in Very Large Databases
In the interest of establishing robust benchmarks for search efficiency, we conducted a series of tests on symbolic databases of musical incipits and themes taken from several di...
Craig Stuart Sapp, Yi-Wen Liu, Eleanor Selfridge-F...