Sciweavers

1700 search results - page 156 / 340
» Specifying and implementing refactorings
Sort
View
138
Voted
ICFP
2010
ACM
15 years 6 months ago
Total parser combinators
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...
Nils Anders Danielsson
BIRTHDAY
2010
Springer
15 years 5 months ago
Model Checking Programmable Router Configurations
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich
99
Voted
CCE
2008
15 years 5 months ago
Population balance modeling in Simulink: PCSS
In this work we develop, demonstrate, and distribute the code for a new Simulink block that models the dynamic evolution of the population density function for a physical system w...
Jeffrey D. Ward, Cheng-Ching Yu
128
Voted
CGF
2008
107views more  CGF 2008»
15 years 5 months ago
Higher Order Barycentric Coordinates
In recent years, a wide range of generalized barycentric coordinates has been suggested. However, all of them lack control over derivatives. We show how the notion of barycentric ...
Torsten Langer, Hans-Peter Seidel
CORR
2010
Springer
53views Education» more  CORR 2010»
15 years 5 months ago
Parametric polynomial minimal surfaces of arbitrary degree
Weierstrass representation is a classical parameterization of minimal surfaces. However, two functions should be specified to construct the parametric form in Weierestrass represe...
Gang Xu, Guozhao Wang