1280 search results - page 47 / 256 » Soft Typing with Conditional Types |
109
Voted
CONCURRENCY
2004
15 years 2 months ago
2004
Concurrent programs can suffer from many types of errors, not just the wellstudied problems of deadlocks and simple race conditions on variables. This paper addresses a kind of ra...
145
click to vote
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
2. Support for User Interaction Source Viewer 3D is a software visualization framework that uses a 3D metaphor to represent software system and analysis data. The 3D representation...
132
click to vote
SIGECOM
2008
ACM
15 years 2 months ago
2008
ACM
We study the question of how to easily recognize whether a social unction f from an abstract type space to a set of outcomes is truthful, i.e. implementable by a truthful mechanis...
218
click to vote
FPGA
2011
ACM
14 years 6 months ago
2011
ACM
As soft processors are increasingly used in diverse applications, there is a need to evolve their microarchitectures in a way that suits the FPGA implementation substrate. This pa...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
We consider control systems of the type x = Ax+(t)bu, where u R, (A, b) is a controllable pair and is an unknown time-varying signal with values in [0, 1] satisfying a permanent...