3965 search results - page 476 / 793 » Effectivity of Regular Spaces |
180
click to vote
VMCAI
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
168
click to vote
WAOA
2004
Springer
16 years 4 days ago
2004
Springer
In competitive analysis, we usually do not put any restrictions on the computational complexity of online algorithms, although efficient algorithms are preferred. Thus if such an...
192
click to vote
ACSD
2003
IEEE
16 years 3 days ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
148
click to vote
DATE
2003
IEEE
16 years 2 days ago
2003
IEEE
Interconnect delay dominates system delay in modern circuits, and with reduced feature sizes, coupling capacitance and signal crosstalk have become significant issues. By spacing...
143
click to vote
HPDC
2003
IEEE
16 years 2 days ago
2003
IEEE
The ability to efficiently discover information using partial knowledge (for example keywords, attributes or ranges) is important in large, decentralized, resource sharing distri...