2530 search results - page 428 / 506 » Dynamic topological logic |
142
Voted
WECWIS
2009
IEEE
15 years 10 months ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
124
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...
124
Voted
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
148
Voted
ISQED
2008
IEEE
15 years 10 months ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...
152
Voted
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
The demand for real-time data services in embedded systems is increasing. In these new computing platforms, using traditional buffer management schemes, whose goal is to minimize ...