986 search results - page 98 / 198 » Generalized Goal Programming: polynomial methods and applica... |
140
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
154
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...
128
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
189
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
GPGPUs have recently emerged as powerful vehicles for generalpurpose high-performance computing. Although a new Compute Unified Device Architecture (CUDA) programming model from N...
142
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...