Search Sciweavers | Sciweavers

9626 search results - page 244 / 1926

» Invariant Based Programming

124

click to vote

ICSE
1992
IEEE-ACM

82views Software Engineering» more ICSE 1992»

Seeking Concurrency in Rule-Based Programming

15 years 10 months ago

Download www.seat.utulsa.edu

Gruia-Catalin Roman, Rose F. Gamble, William E. Ba...

claim paper

Read More »

136

click to vote

DAC
1990
ACM

121views Computer Architecture» more DAC 1990»

Chortle: A Technology Mapping Program for Lookup Table-Based Field Programmable Gate Arrays

15 years 10 months ago

Download www.cs.nthu.edu.tw

Robert J. Francis, Jonathan Rose, Kevin Chung

claim paper

Read More »

133

click to vote

GPC
2010
Springer

258views Distributed And Parallel Com...» more GPC 2010»

CPRS: A Cloud-Based Program Recommendation System for Digital TV Platforms

15 years 10 months ago

Download gpc2010.ndhu.edu.tw

Chin-Feng Lai, Jui-Hung Chang, Chia-Cheng Hu, Yueh...

claim paper

Read More »

130

click to vote

SP
2010
IEEE

161views Security Privacy» more SP 2010»

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs

15 years 10 months ago

Download oakland31.cs.virginia.edu

Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Ha...

claim paper

Read More »

160

click to vote

CNSR
2004
IEEE

93views Communications» more CNSR 2004»

Performance of Generative Programming Based Protocol Implementation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers