Sciweavers

4820 search results - page 342 / 964
» Implementing Signatures for C
Sort
View
ICALT
2007
IEEE
16 years 1 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»
16 years 1 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
16 years 1 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»
16 years 1 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...
143
Voted
ISCAS
2006
IEEE
95views Hardware» more  ISCAS 2006»
16 years 1 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...