9412 search results - page 289 / 1883 » An aspect-oriented generative approach |
166
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
175
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
Evaluating the resiliency of stateful Internet services to significant workload spikes and data hotspots requires realistic workload traces that are usually very difficult to obt...
159
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Researchers have sought a better understanding of creativity for more than a century and the resulting investigations have shed a great deal of light on the subject of creativity....
151
click to vote
CHES
2001
Springer
15 years 11 months ago
2001
Springer
A variation of the Complex Multiplication (CM) method for generating elliptic curves of known order over finite fields is proposed. We give heuristics and timing statistics in th...
165
click to vote
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract--Reservation Tables (RTs) have long been used to detect conflicts between operations that simultaneously access the same architectural resource. Traditionally, these RTs h...