Sciweavers

4865 search results - page 685 / 973
» The Complexity of Graph Connectivity
Sort
View
DATE
2004
IEEE
168views Hardware» more  DATE 2004»
15 years 8 months ago
Architectures and Design Techniques for Energy Efficient Embedded DSP and Multimedia Processing
Energy efficient embedded systems consist of a heterogeneous collection of very specific building blocks, connected together by a complex network of many dedicated busses and inte...
Ingrid Verbauwhede, Patrick Schaumont, Christian P...
141
Voted
ERCIMDL
2006
Springer
123views Education» more  ERCIMDL 2006»
15 years 8 months ago
Expanding a Humanities Digital Library: Musical References in Cervantes' Works
Digital libraries focused on developing humanities resources for both scholarly and popular audiences face the challenge of bringing together digital resources built by scholars fr...
Manas Singh, Richard Furuta, Eduardo Urbina, Neal ...
128
Voted
EWSA
2006
Springer
15 years 8 months ago
Automating the Building of Software Component Architectures
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
Nicolas Desnos, Sylvain Vauttier, Christelle Urtad...
FOSSACS
2006
Springer
15 years 8 months ago
A Finite Model Construction for Coalgebraic Modal Logic
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
Lutz Schröder
ICFEM
1998
Springer
15 years 8 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz