1999 search results - page 199 / 400 » Dependently Typed Grammars |
151
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Aggressive scaling of technology has an adverse impact on the reliability of VLSI circuits. Apart from increasing transient error susceptibility, the circuits also become more vul...
163
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We propose a method that detects the true direction of time series, by fitting an autoregressive moving average model to the data. Whenever the noise is independent of the previou...
204
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Software developers have long known that project success requires a robust understanding of both technical and social linkages. However, research has largely considered these inde...
224
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
166
click to vote
CISS
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper the fading multiple antenna (MIMO) wire-tap channel is investigated under short term power constraints. The secret diversity gain and the secret multiplexing gain ar...