4693 search results - page 853 / 939 » Verifying Hybrid Systems |
101
Voted
FPGA
2008
ACM
15 years 2 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
99
Voted
ICDE
2010
IEEE
15 years 25 days ago
2010
IEEE
— Database Management Systems (DBMSs) are often required to simultaneously process multiple diverse workloads while enforcing business policies that govern workload performance. ...
138
click to vote
JSAC
2007
15 years 16 days ago
2007
— Most of the real deployed peer-to-peer streaming systems adopt pull-based streaming protocol. In this paper, we demonstrate that, besides simplicity and robustness, with proper...
108
click to vote
AIS
1999
Springer
15 years 10 days ago
1999
Springer
The past decade has seen the development of a perspective holding that technology is socially constructed (Mackenzie and Wacjman, 1985; Bijker, Hughes and Pinch, 1987; Bijker and L...
81
Voted
JCC
2010
14 years 11 months ago
2010
: The electron and proton transfer in phenol-imidazole-base systems (base 5 NH2 2 or OH2 ) were investigated by density-functional theory calculations. In particular, the role of b...