4666 search results - page 699 / 934 » Equations on Timed Languages |
148
Voted
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
137
click to vote
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
163
click to vote
FPL
2009
Springer
15 years 8 months ago
2009
Springer
High-Level Synthesis (HLS) is the field of transforming a high-level programming language, such as C, into a register transfer level(RTL) description of the design. In HLS, Binary...
136
click to vote
ASWEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Object-oriented programs, when executed, produce a complex webs of objects and references between them, generally referred to as object graphs. These object graphs are difficult t...
112
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Management of grid resource information is a challenging and important area considering the potential size of the grid and wide range of resources that should be represented. Thou...