1901 search results - page 175 / 381 » Predicting Program Properties from |
131
click to vote
ESOP
2010
Springer
16 years 18 days ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
113
click to vote
ICNS
2008
IEEE
15 years 9 months ago
2008
IEEE
The programmable network approach allows processing of passing user data in a network, which is highly suitable especially for multimedia streams processing. However, programming ...
124
click to vote
LADS
2007
Springer
15 years 9 months ago
2007
Springer
In agent theory and agent programming, goals constitute the motivational attitude of rational agents and form the key concept in explaining and generating their pro-active behavior...
148
click to vote
ISCA
2009
IEEE
15 years 10 months ago
2009
IEEE
With the shift towards chip multiprocessors (CMPs), exploiting and managing parallelism has become a central problem in computer systems. Many issues of parallelism management boi...
BMCBI
2008
15 years 3 months ago
2008
Background: Accurate annotation of translation initiation sites (TISs) is essential for understanding the translation initiation mechanism. However, the reliability of TIS annotat...