1213 search results - page 119 / 243 » Traceability for System Families |
124
Voted
FASE
2000
Springer
15 years 4 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
WIESS
2000
15 years 2 months ago
2000
The HP V-Class server family provides up to 32 processors and 32 GB of memory in a single cabinet. Scalable Computing Architecture technology allows multiple V-Class cabinets to b...
112
Voted
ALIFE
2002
15 years 18 days ago
2002
In this paper, we study the relationship between the two techniques known as ant colony optimization (aco) and stochastic gradient descent. More precisely, we show that some empir...
98
Voted
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
92
Voted
TCOM
2010
14 years 7 months ago
2010
The limited time available for acquiring the channel state in mobile broadband wireless communication systems makes it crucial to count with channel estimation methods that attain ...