Sciweavers

1522 search results - page 126 / 305
» Practical Exception Specifications
Sort
View
AIME
2003
Springer
15 years 5 months ago
Experiences in the Formalisation and Verification of Medical Protocols
Abstract. Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order t...
Mar Marcos, Michael Balser, Annette ten Teije, Fra...
106
Voted
ASPDAC
2008
ACM
87views Hardware» more  ASPDAC 2008»
15 years 3 months ago
An efficient performance improvement method utilizing specialized functional units in Behavioral Synthesis
This paper proposes a novel Behavioral Synthesis method that improves performance of synthesized circuits utilizing specialized functional units effectively. Specialized functional...
Tsuyoshi Sadakata, Yusuke Matsunaga
LREC
2008
91views Education» more  LREC 2008»
15 years 3 months ago
A Guide for the Production of Reusable Language Resources
The project described in this paper is funded by the French Ministry of Research. It aims at providing producers of Language Resources, and HLT players in general, with a guide wh...
Victoria Arranz, Franck Gandcher, Valérie M...
146
Voted
FECS
2006
529views Education» more  FECS 2006»
15 years 3 months ago
Student Projects in Computer Networking: Simulation versus Coding
In this paper, we discuss the advantages and disadvantages of using network simulators to teach networking concepts versus having students write programs. The authors have experie...
Leann Christianson, Kevin Q. Brown
180
Voted
MC
2001
140views Computer Science» more  MC 2001»
15 years 3 months ago
Cooperative model production in systems design to support knowledge management
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
Christoph Clases