2468 search results - page 215 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
130
click to vote
VTC
2010
IEEE
15 years 2 months ago
2010
IEEE
— The achievable throughput of the entire cellular area is investigated, when employing fractional frequency reuse techniques in conjunction with realistically modelled imperfect...
133
click to vote
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
147
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
120
Voted
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
128
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...