4666 search results - page 791 / 934 » Equations on Timed Languages |
123
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
128
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
130
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
As computers become increasingly mobile, users demand more functionality, longer battery-life, and better performance from mobile devices. In response, chipset fabricators are foc...
133
Voted
KR
2010
Springer
15 years 8 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
125
click to vote
SPAA
2009
ACM
15 years 8 months ago
2009
ACM
Work stealing is a common technique used in the runtime schedulers of parallel languages such as Cilk and parallel libraries such as Intel Threading Building Blocks (TBB). Depth-r...