2145 search results - page 360 / 429 » Lax Logical Relations |
148
click to vote
DATE
2008
IEEE
16 years 18 days ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
186
click to vote
DSN
2008
IEEE
16 years 18 days ago
2008
IEEE
Multi-Instance-Precommit (MIP) has been recently presented as an innovative transaction management scheme in support of reliability for Atomic Transactions in multitier (e.g. Web-...
164
click to vote
ETFA
2008
IEEE
16 years 18 days ago
2008
IEEE
Power consumption and thermal problems limit the single-core processors to be faster. Processor architects are therefore moving toward multi-core processors. Developers of embedde...
160
click to vote
FGCN
2008
IEEE
16 years 18 days ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
194
click to vote
ICIW
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...