3708 search results - page 353 / 742 » Programming with C Exceptions |
207
click to vote
TOOLS
1991
IEEE
15 years 10 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
160
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
182
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
157
click to vote
WSC
1998
15 years 8 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
156
click to vote
WSC
2000
15 years 8 months ago
2000
This paper discusses a Web-based simulation manager program that executes an Application Service Provider (ASP) event for a customer who does not possess the inhouse capability to...