4716 search results - page 659 / 944 » Tangible functional programming |
155
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Multi-core architectures are increasingly being adopted in the design of emerging complex embedded systems. Key issues of designing such systems are on-chip interconnects, memory a...
157
click to vote
RECONFIG
2009
IEEE
16 years 29 days ago
2009
IEEE
—We envision that future FPGA will use a hardwired network on chip (HWNoC) [14] as a unified interconnect for functional communications (data and control) as well as configurat...
135
click to vote
TPHOL
2009
IEEE
16 years 26 days ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
148
click to vote
ACCV
2009
Springer
16 years 26 days ago
2009
Springer
In this paper, we propose a convex optimization based approach for piecewise planar reconstruction. We show that the task of reconstructing a piecewise planar environment can be se...
161
click to vote
AIED
2009
Springer
16 years 25 days ago
2009
Springer
The core problem we address in this paper is how to take a declarative conceptual representation of a complex system and produce an agent-based simulation of that model. In particu...