Sciweavers

1822 search results - page 87 / 365
» GENI Design Principles
Sort
View
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 7 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
133
Voted
DAGSTUHL
2004
15 years 5 months ago
Design for Time-Predictability
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
Lothar Thiele, Reinhard Wilhelm
117
Voted
CAD
2006
Springer
15 years 3 months ago
Internal architecture design and freeform fabrication of tissue replacement structures
Modeling, design and fabrication of tissue scaffolds with intricate architecture, porosity and pore size for desired tissue properties presents a challenge in tissue engineering. ...
Binil Starly, Wing Lau, Tom Bradbury, Wei Sun
140
Voted
CCR
2007
85views more  CCR 2007»
15 years 3 months ago
Don't optimize existing protocols, design optimizable protocols
As networks grow in size and complexity, network management has become an increasingly challenging task. Many protocols have tunable parameters, and optimization is the process of...
Jiayue He, Jennifer Rexford, Mung Chiang
128
Voted
TWC
2008
150views more  TWC 2008»
15 years 3 months ago
Design and analysis of post-coded OFDM systems
This paper discusses the design and analysis of post coded OFDM (PC-OFDM) systems. Coded or precoded OFDM systems are generally employed to overcome the symbol recovery problem in...
S. F. A. Shah, Ahmed H. Tewfik