1678 search results - page 284 / 336 » An ASM Specification of C |
VRML
2004
ACM
14 years 2 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
ICMI
2004
Springer
14 years 2 months ago
2004
Springer
We present a video demonstration of an agent-based test bed application for ongoing research into multi-user, multimodal, computer-assisted meetings. The system tracks a two perso...
ICSOC
2004
Springer
14 years 2 months ago
2004
Springer
CiteSeer is currently a very large source of meta-data information on the World Wide Web (WWW). This meta-data is the key material for the Semantic Web. Still, CiteSeer is not yet...
SIGCSE
2010
ACM
14 years 2 months ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents a new algorithm for on-the-fly data compression in high performance VLIW processors. The algorithm aggressively targets energy minimization of some of the domi...