813 search results - page 120 / 163 » Pipeline-centric provenance model |
FMCAD
2006
Springer
15 years 2 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
98
Voted
REX
1991
15 years 2 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
111
click to vote
SGP
2007
15 years 1 months ago
2007
We present two new Delaunay refinement algorithms, second an extension of the first. For a given input domain (a set of points or a planar straight line graph), and a threshold an...
85
Voted
CISC
2008
Springer
15 years 24 days ago
2008
Springer
Anonymity is one of the main concerns in group-oriented cryptography. However, most efforts, for instance, group signatures and ring signatures, are only made to provide anonymity ...
EUROSPI
2008
Springer
15 years 18 days ago
2008
Springer
Industry recognizes that very small enterprises (VSE), that develop parts involving software components are very important to the economy. These parts are often integrated into pro...