Sciweavers

1655 search results - page 189 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
CODES
1999
IEEE
15 years 10 months ago
System synthesis utilizing a layered functional model
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
Ingo Sander, Axel Jantsch
ICDCSW
2009
IEEE
16 years 1 months ago
A Dynamic Battery Model for Co-design in Cyber-Physical Systems
We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model supports a co-design approach for ...
Fumin Zhang, Zhenwu Shi, Wayne Wolf
ACL
1998
15 years 7 months ago
Entity-Based Cross-Document Coreferencing Using the Vector Space Model
Cross-document coreference occurs when the same person, place, event, or concept is discussed in more than one text source. Computer recognition of this phenomenon is important be...
Amit Bagga, Breck Baldwin
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 6 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
ICRA
2005
IEEE
121views Robotics» more  ICRA 2005»
16 years 13 hour ago
Modeling and Analysis of Beaconless and Beacon-Based Policies for a Swarm-Intelligent Inspection System
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
Nikolaus Correll, Alcherio Martinoli