2860 search results - page 68 / 572 » The Greenfoot Programming Environment |
145
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
175
Voted
GRAPHITE
2006
ACM
16 years 3 days ago
2006
ACM
—Advancements in robotics have gained much momentum in recent years. Industrial robotic systems are increasingly being used outside the factory floor, evident by the growing pres...
145
Voted
AUIC
2006
IEEE
16 years 6 days ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...
153
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
164
Voted
GECCO
2009
Springer
16 years 21 days ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...