Sciweavers

1064 search results - page 11 / 213
» Disjoint Systems (Extended Abstract)
Sort
View
ICCS
2004
Springer
14 years 26 days ago
Extending Camelot with Mutable State and Concurrency
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...
Stephen Gilmore
NFM
2011
254views Formal Methods» more  NFM 2011»
13 years 2 months ago
A Tabular Expression Toolbox for Matlab/Simulink
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...
Colin Eles, Mark Lawford
DAC
2004
ACM
14 years 27 days ago
Extending the transaction level modeling approach for fast communication architecture exploration
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....
Sudeep Pasricha, Nikil D. Dutt, Mohamed Ben-Romdha...
PSSS
2003
13 years 8 months ago
DLDB: Extending Relational Databases to Support Semantic Web Queries
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
Zhengxiang Pan, Jeff Heflin
VR
2000
IEEE
103views Virtual Reality» more  VR 2000»
13 years 12 months ago
Extending Locales: Awareness Management in MASSIVE-3
Locales (as first embodied in the SPLINE system) are a very good approach to constructing and organising large virtual environments, especially for distributed and multiuser syste...
Jim Purbrick, Chris Greenhalgh