Sciweavers

1937 search results - page 181 / 388
» Novel Models in Evolutionary Designing
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 6 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
WOWMOM
2009
ACM
128views Multimedia» more  WOWMOM 2009»
14 years 3 months ago
A queuing modeling approach for Load-Aware Route Selection in heterogeneous mesh networks
Wireless mesh networks are primarily used to provide Internet access by sharing the Internet connections of a limited number of gateways. If traffic is routed in the mesh without...
Raffaele Bruno, Marco Conti, Antonio Pinizzotto
IUI
2010
ACM
14 years 2 months ago
Towards a reputation-based model of social web search
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...
Kevin KcNally, Michael P. O'Mahony, Barry Smyth, M...
AUIC
2000
IEEE
14 years 1 months ago
Supporting Special-Purpose Health Care Models via Web Interfaces
The potential of the Web, via both the Internet and intranets, to facilitate development of clinical information systems has been evident for some time. Most Web-based clinical wo...
James R. Warren, Heath K. Frankel, Joseph T. Noone...
GLOBECOM
2009
IEEE
14 years 13 days ago
Measurement Based Capacity Scavenging via Whitespace Modeling in Wireless Networks
Dynamic Spectrum Access can enable secondary network users to access unused spectrum, or whitespace, which is found between the transmissions of primary users in a wireless networ...
Anthony Plummer Jr., Mahmoud Taghizadeh, Subir Bis...