Sciweavers

3516 search results - page 62 / 704
» Programming Languages: Application and Interpretation
Sort
View
PADL
2007
Springer
15 years 3 months ago
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
Per Gustafsson, Konstantinos F. Sagonas
CONTEXT
2003
Springer
15 years 3 months ago
GRAVA: An Architecture Supporting Automatic Context Transitions and Its Application to Robust Computer Vision
We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suffe...
Paul Robertson, Robert Laddaga
ASPLOS
2004
ACM
15 years 3 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
DBPL
2003
Springer
105views Database» more  DBPL 2003»
15 years 2 months ago
Integrating Database and Programming Language Constraints
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
Oded Shmueli, Mukund Raghavachari, Vivek Sarkar, R...
COMPSAC
2007
IEEE
15 years 4 months ago
A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development
In recent years, TinyOS and nesC are gradually becoming the de facto software development platform for implementing sensor applications. However, developing sensor applications is...
Jui-Nan Lin, Jiun-Long Huang