6897 search results - page 89 / 1380 » Parallelization of Modular Algorithms |
179
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
153
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...
150
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veri...
181
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
183
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we introduce a modular, highly flexible, opensource environment for data generation. Using an existing graphical data flow tool, the user can combine various types...