9110 search results - page 53 / 1822 » Formally-Based Design Evaluation |
ICCS
2003
Springer
15 years 3 months ago
2003
Springer
Smart disks, a type of processor-embedded active I/O devices, with their on-disk memory and network interface controller, can be viewed as processing elements with attached storage...
HPCN
1995
Springer
15 years 1 months ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
DFT
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper presents a concurrent error detection technique for the control logic of a modern microprocessor. Our method is based on execution time prediction for each instruction ...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Europe and the U.S. both face the challenges of urban schools with low-achieving adolescent learners, many of whom are not proficient in the language of instruction. This paper des...
LREC
2008
14 years 11 months ago
2008
In this paper we report on the analyses of alternative approaches to semantic role annotation (FrameNet (FrameNet, 2005), PropBank (Palmer et al., 2005) and VerbNet (Kipper, 2006)...