Sciweavers

1830 search results - page 113 / 366
» Functional Programs as Linked Data
Sort
View
WWW
2007
ACM
16 years 4 months ago
A unified platform for data driven web applications with automatic client-server partitioning
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...
Fan Yang 0002, Nitin Gupta 0003, Nicholas Gerner, ...
118
Voted
CANDC
2000
ACM
15 years 3 months ago
Step by Step Filter Based Program for Calculations of Highly Informative Derivative Curves
We have developed a microcomputer program, based on a recently described approach called step by step filter (SBSF), for calculation of derivative curves directly from spectra rec...
Vesselin Petrov, Liudmil Antonov, Hitoshi Ehara, N...
FSTTCS
2007
Springer
15 years 9 months ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
119
Voted
CAV
2009
Springer
165views Hardware» more  CAV 2009»
15 years 7 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...
VL
1995
IEEE
110views Visual Languages» more  VL 1995»
15 years 6 months ago
Heterogeneous Visual Languages-Integrating Visual and Textual Programming
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
Martin Erwig, Bernd Meyer