5707 search results - page 746 / 1142 » Symbolic Simulation - Techniques and Applications |
235
Voted
ISSS
2002
IEEE
16 years 15 days ago
2002
IEEE
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...
217
click to vote
RTSS
2002
IEEE
16 years 15 days ago
2002
IEEE
Simultaneous multithreading (SMT) improves processor throughput by processing instructions from multiple threads each cycle. This is the first work to explore soft real-time sche...
142
Voted
GIS
2009
ACM
16 years 6 days ago
2009
ACM
In this paper we consider a novel multimedia application, in which drivers may query multimedia clips captured by smartphones mounted on other vehicles. These multimedia clips vis...
186
Voted
PCI
2009
Springer
16 years 4 days ago
2009
Springer
—Storage management in wireless sensor networks is an area that has started to attract significant attention, and several methods have been proposed, such as Local Storage (LS),...
220
Voted
CAISE
2001
Springer
16 years 3 days ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...