18429 search results - page 3370 / 3686 » Typing dynamic typing |
183
click to vote
HYBRID
2010
Springer
15 years 12 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
147
click to vote
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
—Most solutions for Wireless Sensor Networks (WSN) come equipped with their own architectural concepts which raise the problem of possible incompatibility of computer networks an...
179
click to vote
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
Our world is increasingly data-driven. The growth and value of data continue to exceed all predictions. Potential for business opportunity, economic growth, scientific discovery, ...
195
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...
206
click to vote
CLOUD
2010
ACM
15 years 12 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...