Sciweavers

349 search results - page 28 / 70
» Digital Systems Architectures Based on On-line Checkers
Sort
View
BTW
2007
Springer
152views Database» more  BTW 2007»
14 years 2 months ago
Armada: a Reference Model for an Evolving Database System
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...
Fabian Groffen, Martin L. Kersten, Stefan Manegold
WOSP
2005
ACM
14 years 1 months ago
Performance evaluation of UML software architectures with multiclass Queueing Network models
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
Simonetta Balsamo, Moreno Marzolla
DAC
2004
ACM
14 years 8 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
CODES
2008
IEEE
13 years 9 months ago
Application specific non-volatile primary memory for embedded systems
Memory subsystems have been considered as one of the most critical components in embedded systems and furthermore, displaying increasing complexity as application requirements div...
Kwangyoon Lee, Alex Orailoglu
ICMCS
2007
IEEE
93views Multimedia» more  ICMCS 2007»
14 years 2 months ago
POEMS: A Paper Based Meeting Service Management Tool
As more and more tools are developed for meeting support tasks, properly using these tools to get expected results becomes too complicated for many meeting participants. To addres...
Chang Hu, Qiong Liu, Xuemin Liu, Chunyuan Liao, Pa...