1005 search results - page 112 / 201 » Agile Methods for Embedded Systems |
109
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
FMCAD
2007
Springer
15 years 8 months 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...
130
Voted
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
In most real-time applications, deadlines are artifices that need to be enforced to meet different performance requirements. For example, in periodic task sets, jitter requiremen...
256
Voted
FM
1997
Springer
15 years 6 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
130
Voted
IJIT
2004
15 years 4 months ago
2004
In this paper we investigate the watermarking authentication when applied to medical imagery field. We first give an overview of watermarking technology by paying attention to frag...