3256 search results - page 319 / 652 » Applications of Formal Methods to System Design and Verifica... |
155
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
150
click to vote
FMCAD
2007
Springer
16 years 25 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
169
click to vote
FDL
2005
IEEE
16 years 8 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
163
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the design, implementation, visualizations, results and lessons learned of a novel real-world socio-technical research system for the purpose of rescheduling ...
165
click to vote
ISPAN
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we present a design architecture of implementing a ”Vector Bank” into video encoder system, namely, an H.264 encoder, in order to detect and analyze the movin...