Sciweavers

3965 search results - page 231 / 793
» Effectivity of Regular Spaces
Sort
View
LICS
2003
IEEE
15 years 12 months ago
Model-checking Trace Event Structures
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
P. Madhusudan
SIGMOD
2010
ACM
168views Database» more  SIGMOD 2010»
15 years 11 months ago
SimDB: a similarity-aware database system
The identification and processing of similarities in the data play a key role in multiple application scenarios. Several types of similarity-aware operations have been studied in ...
Yasin N. Silva, Ahmed M. Aly, Walid G. Aref, Per-&...
ICDCS
2000
IEEE
15 years 11 months ago
Scheduling with Global Information in Distributed Systems
Buffered coscheduling is a distributed scheduling methodology for time-sharing communicating processes in a distributed system, e.g., PC cluster. The principle mechanisms involved...
Fabrizio Petrini, Wu-chun Feng
ICMCS
2000
IEEE
145views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Talking Heads and Synthetic Speech: An Architecture for Supporting Electronic Commerce
Facial animation has been combined with text-to-speech synthesis to create innovative multimodal interfaces. In this paper, we present an architecture for this multimodal interfac...
Jörn Ostermann, David R. Millen
DATE
2009
IEEE
123views Hardware» more  DATE 2009»
15 years 10 months ago
Novel library of logic gates with ambipolar CNTFETs: Opportunities for multi-level logic synthesis
This paper exploits the unique in-field controllability of the device polarity of ambipolar carbon nanotube field effect transistors (CNTFETs) to design a technology library with ...
M. Haykel Ben Jamaa, Kartik Mohanram, Giovanni De ...