4067 search results - page 442 / 814 » Programs for Applying Symmetries |
191
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
215
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
271
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
179
click to vote
CF
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
214
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Regression testing is an expensive maintenance process used to revalidate modified software. Regression test selection (RTS) techniques attempt to reduce the cost of regression te...