3507 search results - page 412 / 702 » Slicing for architectural analysis |
190
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
198
click to vote
ITSSA
2006
15 years 7 months ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
148
click to vote
JUCS
2006
15 years 7 months ago
2006
: This paper proposes a Human-centered Pervasive Computing System Model (HPC), a Layered Architectural Analysis and Design Method (LAAD) and a Waterfall Prototyping Process Model (...
173
Voted
CORR
2004
Springer
15 years 7 months ago
2004
Springer
We propose a model for the World Wide Web graph that couples the topological growth with the traffic's dynamical evolution. The model is based on a simple traffic-driven dynam...
189
click to vote
TVLSI
1998
15 years 7 months ago
1998
— Wave-pipelining is a method of high-performance circuit design which implements pipelining in logic without the use of intermediate latches or registers. The combination of hig...