10718 search results - page 1985 / 2144 » On the Circuit Implementation Problem |
147
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Commodity computer systems contain more and more processor cores and exhibit increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects, instructio...
171
Voted
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Browsers do not currently support the secure sharing of JavaScript objects between principals. We present this problem as the need for object views, which are consistent and contr...
135
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
When you write papers, how many times do you want to make some citations at a place but you are not sure which papers to cite? Do you wish to have a recommendation system which ca...
134
Voted
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
121
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...