Timing Yield Slack for Timing Yield-Constrained Optimization and Its Application to Statistical Leakage MinimizationEUN JU HWANG; WOOK KIM; YOUNG HWAN KIM et al.IEEE transactions on very large scale integration (VLSI) systems. 2013, Vol 21, Num 10, pp 1783-1796, issn 1063-8210, 14 p.Article

Generalized typestate checking using set interfaces and pluggable analysesLAM, Patrick; KUNCAK, Viktor; RINARD, Martin et al.ACM SIGPLAN notices. 2004, Vol 39, Num 3, pp 46-55, issn 1523-2867, 10 p.Article

Incorporating psychological influences in probabilistic cost analysisKUJAWSKI, Edouard; ALVARO, Mariana L; EDWARDS, William R et al.Systems engineering. 2004, Vol 7, Num 3, pp 195-216, issn 1098-1241, 22 p.Article

Unintended consequences of the Global Positioning SystemLEVER, John A.Systems engineering. 2004, Vol 7, Num 3, pp 217-228, issn 1098-1241, 12 p.Article

Wavelet techniques for reversible data embedding into imagesKAMSTRA, Lute; HEIJMANS, Henk J. A. M.Report - Probability, networks and algorithms. 2004, Num 2, pp 1-32, issn 1386-3711, 32 p.Article

Principal typings for Java-like languagesANCONA, Davide; ZUCCA, Elena.ACM SIGPLAN notices. 2004, Vol 39, Num 1, pp 306-317, issn 1523-2867, 12 p.Conference Paper

Precise interprocedural analysis through linear algebraMÜLLER-OLM, Markus; SEIDL, Helmut.ACM SIGPLAN notices. 2004, Vol 39, Num 1, pp 330-341, issn 1523-2867, 12 p.Conference Paper

Global value numbering using random interpretationGULWANI, Sumit; NECULA, George C.ACM SIGPLAN notices. 2004, Vol 39, Num 1, pp 342-352, issn 1523-2867, 11 p.Conference Paper

Foundations of security analysis and design II : FOSAD 2001/2002 tutorial lecturesFocardi, Riccardo; Gorrieri, Roberto.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-20955-7, VI, 265 p, isbn 3-540-20955-7Book

RISSEF 2002 : radical innovations of software and systems engineering in the future (Venice, 7-11 October 2002, revised papers)Wirsing, Martin; Knapp, Alexander; Balsamo, Simonetta et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-21179-9, X, 357 p, isbn 3-540-21179-9Conference Proceedings

Conceptual and lexical factors in the production of speech and conversational gestures: Neuropsychological evidenceCRISTILLI, Carla; CARLOMAGNO, Sergio.Lecture notes in computer science. 2004, pp 70-76, issn 0302-9743, isbn 3-540-21072-5, 7 p.Conference Paper

Gesture frame: A screen navigation system for interactive multimedia kiosksYINLIN LI; GROENEGRESS, Christoph; STRAUSS, Wolfgang et al.Lecture notes in computer science. 2004, pp 380-385, issn 0302-9743, isbn 3-540-21072-5, 6 p.Conference Paper

Integrating performance modeling in the software development processBALSAMO, Simonetta; SIMEONI, Marta.Lecture notes in computer science. 2004, pp 35-49, issn 0302-9743, isbn 3-540-21179-9, 15 p.Conference Paper

Metadata hiding for content adaptationYONG JU JUNG; HO KYUNG KANG; YONG MAN RO et al.Lecture notes in computer science. 2004, pp 435-446, issn 0302-9743, isbn 3-540-21061-X, 12 p.Conference Paper

Modal proofs as distributed programs: (Extended abstract)LIMIN JIA; WALKER, David.Lecture notes in computer science. 2004, pp 219-233, issn 0302-9743, isbn 3-540-21313-9, 15 p.Conference Paper

Answer type polymorphism in call-by-name continuation passingTHIELECKE, Hayo.Lecture notes in computer science. 2004, pp 279-293, issn 0302-9743, isbn 3-540-21313-9, 15 p.Conference Paper

A model based development approach for distributed embedded systemsGILLIERS, Frédéric; KORDON, Fabrice; REGEP, Dan et al.Lecture notes in computer science. 2004, pp 137-151, issn 0302-9743, isbn 3-540-21179-9, 15 p.Conference Paper

Index clustering for high-performance sequential index accessCHA, Guang-Ho.Lecture notes in computer science. 2004, pp 39-51, issn 0302-9743, isbn 3-540-21047-4, 13 p.Conference Paper

Multi-Parametric Toolbox (MPT)KVASNICA, Michal; GRIEDER, Pascal; BAOTIC, Mato et al.Lecture notes in computer science. 2004, pp 448-462, issn 0302-9743, isbn 3-540-21259-0, 15 p.Conference Paper

Adaptive workload balancing for storage management applications in multi node environmentsAKELBEIN, Jens-Peter; SCHRÖFEL, Ute.Lecture notes in computer science. 2004, pp 322-337, issn 0302-9743, isbn 3-540-21238-8, 16 p.Conference Paper

A collaborative recommendation based on neural networksMYUNG WON KIM; EUN JU KIM; JOUNG WOO RYU et al.Lecture notes in computer science. 2004, pp 425-430, issn 0302-9743, isbn 3-540-21047-4, 6 p.Conference Paper

Enhanced accountability for electronic processesBALDWIN, Adrian.Lecture notes in computer science. 2004, pp 319-332, issn 0302-9743, isbn 3-540-21312-0, 14 p.Conference Paper

DataRouter: A network-layer service for application-layer forwardingTOUCH, Joseph D; PINGALI, Venkata K.Lecture notes in computer science. 2004, pp 115-126, issn 0302-9743, isbn 3-540-21250-7, 12 p.Conference Paper

Inference methods for autonomous stochastic linear hybrid systemsBALAKRISHNAN, Hamsa; HWANG, Inseok; JUNG SOON JANG et al.Lecture notes in computer science. 2004, pp 64-79, issn 0302-9743, isbn 3-540-21259-0, 16 p.Conference Paper

Incremental search methods for reachability analysis of continuous and hybrid systemsBHATIA, Amit; FRAZZOLI, Emilio.Lecture notes in computer science. 2004, pp 142-156, issn 0302-9743, isbn 3-540-21259-0, 15 p.Conference Paper