1478 search results - page 19 / 296 » Modular Complexity Analysis via Relative Complexity |
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
ISORC
2002
IEEE
15 years 6 months ago
2002
IEEE
ARTISST (ARTISST is a Real-Time System Simulation Tool) is a modular event-driven simulation framework for real-time systems. It is targeted towards the performance evaluation of ...
104
click to vote
AAAI
1990
15 years 3 months ago
1990
Closed world reasoning is a common nonmonotonic technique that allows for dealing with negative information in knowledge and data bases. We present a detailed analysis of the comp...
103
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
109
Voted
TSP
2008
15 years 1 months ago
2008
We introduce a framework based on Wirtinger calculus for nonlinear complex-valued signal processing such that all computations can be directly carried out in the complex domain. Th...