3796 search results - page 247 / 760 » Presentations by Programmers for Programmers |
150
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
127
Voted
ICCMS
2009
15 years 1 months ago
2009
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...
174
Voted
ICDT
2009
ACM
15 years 1 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
123
click to vote
CSMR
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
132
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper presents a versatile and portable digital signal processing (DSP) platform that is highly suitable for learning embedded signal processing anywhere and anytime. This DS...