3358 search results - page 450 / 672 » Dynamic Description Logics |
167
click to vote
FCT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
175
click to vote
IEEEPACT
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents a novel compiler directed technique to reduce the register pressure and power of the register file by releasing registers early. The compiler identifies regi...
159
click to vote
IPPS
2005
IEEE
16 years 5 days ago
2005
IEEE
Multicast applications for large-scale Mobile Ad hoc NETworks (MANETs) require an efficient and effective Quality of Service (QoS)-aware multicast model. The new requirements to ...
157
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
158
click to vote
ARCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...