Sciweavers

2283 search results - page 384 / 457
» Bounds of Graph Characteristics
Sort
View
DATE
1999
IEEE
162views Hardware» more  DATE 1999»
14 years 8 days ago
MOCSYN: Multiobjective Core-Based Single-Chip System Synthesis
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrate...
Robert P. Dick, Niraj K. Jha
ER
1999
Springer
108views Database» more  ER 1999»
14 years 7 days ago
Modeling Cyclic Change
Database support of time-varying phenomena typically assumes that entities change in a linear fashion. Many phenomena, however, change cyclically over time. Examples include monsoo...
Kathleen Hornsby, Max J. Egenhofer, Patrick J. Hay...
ECAI
1994
Springer
14 years 1 days ago
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
Giuseppe De Giacomo, Maurizio Lenzerini
MM
1993
ACM
87views Multimedia» more  MM 1993»
14 years 1 days ago
MPEGTool: An X Window Based MPEG Encoder and Statistics Tool
In this paper, we describe MPEGTool, an X window based tool which can be used to generate an MPEG2 encoded bit stream for video sequences and to study the statistical properties o...
Toshiyuki Urabe, Hassan Afzal, Grace Ho, Pramod Pa...
CONEXT
2007
ACM
13 years 12 months ago
The diameter of opportunistic mobile networks
Portable devices have more data storage and increasing communication capabilities everyday. In addition to classic infrastructure based communication, these devices can exploit hu...
Augustin Chaintreau, Abderrahmen Mtibaa, Laurent M...