Verónica Gaspes

According to our database1, Verónica Gaspes authored at least 12 papers between 1997 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015

2014
A running leap for embedded signal processing to future parallel platforms.
Proceedings of the WISE'14, 2014

Realizing Efficient Execution of Dataflow Actors on Manycores.
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

2013
Programming Real-Time Image Processing for Manycores in a High-Level Language.
Proceedings of the Advanced Parallel Processing Technologies, 2013

2012
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report).
Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

2011
A core language for executable models of cyber physical systems: work in progress report.
SIGBED Rev., 2011

Accurate Programming: Thinking about programs in terms of properties
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

A compositional implementation of Modbus in Protege.
Proceedings of the Industrial Embedded Systems (SIES), 2011

An embedded language for programming protocol stacks in embedded systems.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010
A Domain-Specific Language Approach to Protocol Stack Implementation.
Proceedings of the Practical Aspects of Declarative Languages, 2010

2008
A Library for Processing Ad hoc Data in Haskell - Embedding a Data Description Language.
Proceedings of the Implementation and Application of Functional Languages, 2008

1997
A Type Theoretical Analysis of Some Aspects of Programming Languages.
PhD thesis, 1997


  Loading...