1982 search results - page 394 / 397 » Parametricity and dependent types |
AI
2011
Springer
13 years 3 months ago
2011
Springer
When donating money to a (say, charitable) cause, it is possible to use the contemplated donation as a bargaining chip to induce other parties interested in the charity to donate ...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Cloud computing is a paradigm that has the potential to transform and revolutionalize the next generation IT industry by making software available to end-users as a service. A clo...
ISCAS
2011
IEEE
13 years 7 days ago
2011
IEEE
— we present an implementation of a programmable axonal propagation delay circuit which uses one first-order logdomain low-pass filter. Delays may be programmed in the 550ms rang...
CASON
2010
IEEE
13 years 6 days ago
2010
IEEE
—The analysis of social networks is concentrated especially on uncovering hidden relations and properties of network members (vertices). Most of the current approaches are focuse...
ICSE
2011
IEEE-ACM
13 years 2 hour ago
2011
IEEE-ACM
Dynamic software updates (DSU) are one of the top-most features requested by developers and users. As a result, DSU is already standard in many dynamic programming languages. But,...