Search Sciweavers | Sciweavers

5377 search results - page 26 / 1076

» Programming Languages For Interactive Computing

click to vote

WETICE
1998
IEEE

101views Emerging Technology» more WETICE 1998»

Interactive Mobile Agents in X-Klaim

13 years 12 months ago

Download reference.kfupm.edu.sa

Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...

Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese...

claim paper

Read More »

click to vote

SP
2009
IEEE

155views Security Privacy» more SP 2009»

A Logic of Secure Systems and its Application to Trusted Computing

14 years 2 months ago

Download www.cs.cmu.edu

We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...

Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...

claim paper

Read More »

click to vote

ASPLOS
2009
ACM

171views Programming Languages» more ASPLOS 2009»

Architecture-aware optimization targeting multithreaded stream computing

14 years 8 months ago

Download www.ece.neu.edu

Byunghyun Jang, Synho Do, Homer H. Pien, David R. ...

claim paper

Read More »

click to vote

DAC
2003
ACM

173views Computer Architecture» more DAC 2003»

Accurate timing analysis by modeling caches, speculation and their interaction

14 years 8 months ago

Download www.comp.nus.edu.sg

Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...

Xianfeng Li, Tulika Mitra, Abhik Roychoudhury

claim paper

Read More »

click to vote

ICALP
2001
Springer

100views Programming Languages» more ICALP 2001»

Secure Multiparty Computation of Approximations

14 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers