1760 search results - page 192 / 352 » A System to Mark Programs Automatically |
122
Voted
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
128
Voted
ASPLOS
2000
ACM
15 years 7 months ago
2000
ACM
Simulation is the primary method for evaluating computer systems during all phases of the design process. One significant problem with simulation is that it rarely models the syst...
119
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. A basic prerequisite for parallel programming is a good communication API. The recent interest in using Java for scienti c and engineering application has led to several ...
135
click to vote
ISCA
2008
IEEE
15 years 3 months ago
2008
IEEE
Current hardware transactional memory systems seek to simplify parallel programming, but assume that large transactions are rare, so it is acceptable to penalize their performance...
121
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...