Sciweavers

7580 search results - page 1312 / 1516
» Prometheus design tool
Sort
View
DBPL
1993
Springer
104views Database» more  DBPL 1993»
15 years 10 months ago
Extensible Grammars for Language Specialization
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
Luca Cardelli, Florian Matthes, Martín Abad...
SIGMETRICS
1993
ACM
118views Hardware» more  SIGMETRICS 1993»
15 years 10 months ago
An Analytic Performance Model of Disk Arrays
As disk arrays become widely used, tools for understanding and analyzing their performance become increasingly important. In particular, performance models can be invaluable in bo...
Edward K. Lee, Randy H. Katz
SIGMETRICS
1994
ACM
113views Hardware» more  SIGMETRICS 1994»
15 years 10 months ago
Shade: A Fast Instruction-Set Simulator for Execution Profiling
Shade is an instruction-set simulator and custom trace generator. Application programs are executed and traced under the control of a user-supplied trace analyzer. To reduce commu...
Robert F. Cmelik, David Keppel
ASPDAC
1998
ACM
72views Hardware» more  ASPDAC 1998»
15 years 10 months ago
Space- and Time-Efficient BDD Construction via Working Set Control
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
Bwolen Yang, Yirng-An Chen, Randal E. Bryant, Davi...
ACMACE
2007
ACM
15 years 10 months ago
Sound candy
Sound Candy is a device with which anyone in the world can create his/her own playground anywhere of using sounds and movements around him/her. In our daily life, we are surrounde...
Shuichi Ishibashi, Daisuke Uriu, Naohito Okude
« Prev « First page 1312 / 1516 Last » Next »