Sciweavers

4755 search results - page 260 / 951
» An Implementation Model for Collaborative Applications
Sort
View
122
Voted
ICCAD
1998
IEEE
83views Hardware» more  ICCAD 1998»
15 years 7 months ago
Lazy transition systems: application to timing optimization of asynchronous circuits
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
Jordi Cortadella, Michael Kishinevsky, Alex Kondra...
114
Voted
PDPTA
2003
15 years 5 months ago
The Application of Software Process Precedence Relationship Formalisms to Concurrent Hardware Systems
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
Kenneth G. Ricks, David Jeff Jackson, B. Earl Well...
127
Voted
FDL
2008
IEEE
15 years 3 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
115
Voted
ACL
2012
13 years 6 months ago
Entailment-based Text Exploration with Application to the Health-care Domain
We present a novel text exploration model, which extends the scope of state-of-the-art technologies by moving from standard concept-based exploration to statement-based exploratio...
Meni Adler, Jonathan Berant, Ido Dagan
116
Voted
ICDM
2010
IEEE
146views Data Mining» more  ICDM 2010»
15 years 1 months ago
One-Class Matrix Completion with Low-Density Factorizations
Consider a typical recommendation problem. A company has historical records of products sold to a large customer base. These records may be compactly represented as a sparse custom...
Vikas Sindhwani, Serhat Selcuk Bucak, Jianying Hu,...