6527 search results - page 154 / 1306 » On Typing Information Flow |
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
—We investigate the problem of flow optimization in a parallel relay network which consists of a single source sending information to a single destination through multiple relay...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. Often in neurosurgical planning a dual spin echo acquisition is performed that yields proton density (PD) and T2-weighted images to evaluate edema near a tumor or lesion....
CONCURRENCY
2010
13 years 6 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...