3844 search results - page 215 / 769 » Modular interpreted systems |
233
click to vote
IJBRA
2010
15 years 5 months ago
2010
—Accumulating evidence suggests that biological systems exhibit modular organization. Accurate identification of modularity is vital for understanding this organization. A recen...
177
Voted
BIRTHDAY
2005
Springer
16 years 17 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
201
Voted
IJON
2008
15 years 7 months ago
2008
In this work we address the problem of boundary detection by combining ideas and approaches from biological and computational vision. Initially, we propose a simple and efficient ...
223
Voted
ASPLOS
2004
ACM
16 years 14 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
194
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...