Sciweavers

4820 search results - page 342 / 964
» Implementing Signatures for C
Sort
View
ICALT
2007
IEEE
15 years 10 months ago
Adapting health care competencies to a formal competency model
Health professions education has moved away from process-based curricula to competency-based curricula. Machine readable and processable health care competencies are still embryon...
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis, M...
ICMB
2007
IEEE
136views Business» more  ICMB 2007»
15 years 10 months ago
The Emergence of the Mobile Enterprise: A Value-Driven Perspective
The mobile enterprise is an emerging organizational form that has resulted in a paradigm shift of how business is done. However, only little theoretical work has been done to expl...
Rahul C. Basole
IPPS
2007
IEEE
15 years 10 months ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki
ETS
2006
IEEE
113views Hardware» more  ETS 2006»
15 years 10 months ago
Wrapper Design for the Reuse of Networks-on-Chip as Test Access Mechanism
This paper proposes a wrapper design for interconnects with guaranteed bandwidth and latency services and on-chip protocol. strate that these interconnects abstract the interconne...
Alexandre M. Amory, Kees Goossens, Erik Jan Marini...
ISCAS
2006
IEEE
95views Hardware» more  ISCAS 2006»
15 years 10 months ago
Low-latency, HDL-synthesizable dynamic clock frequency controller with self-referenced hybrid clocking
—A low-latency, HDL-synthesizable dynamic clock frequency controller is presented as a time-efficient alternative to full-custom implementations. Frequency division of a fully in...
Robert M. Senger, Eric D. Marsman, Gordy A. Carich...