000  05042nam a22005895i 4500  

001  9783540696582  
003  DEHe213  
005  20170515111449.0  
007  cr nn 008mamaa  
008  121227s1997 gw  s  0eng d  
020 
_a9783540696582 _99783540696582 

024  7 
_a10.1007/354063875X _2doi 

050  4  _aQA76.758  
072  7 
_aUMZ _2bicssc 

072  7 
_aUL _2bicssc 

072  7 
_aCOM051230 _2bisacsh 

082  0  4 
_a005.1 _223 
245  1  0 
_aAdvances in Computing Science — ASIAN'97 _h[electronic resource] : _bThird Asian Computing Science Conference Kathmandu, Nepal, December 9–11, 1997 Proceedings / _cedited by R. K. Shyamasundar, K. Ueda. 
264  1 
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1997. 

300 
_aXIV, 394 p. _bonline resource. 

336 
_atext _btxt _2rdacontent 

337 
_acomputer _bc _2rdamedia 

338 
_aonline resource _bcr _2rdacarrier 

347 
_atext file _bPDF _2rda 

490  1 
_aLecture Notes in Computer Science, _x03029743 ; _v1345 

505  0  _aCorrectness of programs and protocols through randomization  Medical image analysis and simulation  Verification of pipelined microprocessors by comparing memory execution sequences in symbolic simulation  Rules for abstraction  Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems  Rules for trace consistent reasoning  Sensitivity analysis of realtime task sets  Dynamic multiprocessor scheduling for supporting realtime constraints  Heuristic Diff Acquiring in lazy release consistency model  Representation of discretely controlled continuous systems in softwareoriented formal analysis  A generalised framework for reasoning with multipoint events  Implementing constraint retraction for finite domains  INSTANCE: The intermediate storage node concept  Checking hybrid automata for linear duration invariants  Hierarchical automata as model for statecharts  Proof discovery in LK system by analogy  Efficient induction of executable logic programs from examples  Automated verification of behavioural properties of prolog programs  Typing the use of resources in a concurrent calculus  An imperative language with read/write type modes  Efficient goal scheduling in a concurrent logic language using typebased dependency analysis  An analysis of divisibility orderings and recursive path orderings  Sharewhere maintenance in visual algebraic specifications  A fault tolerant broadcast scheme in star graphs  Calculus of classical proofs I  Tracing the evaluation of lazy functional languages: A model and its implementation  Basic results in automatic transformations of shared memory parallel programs into sequential programs  Recurrent oscillatory selforganizing map: Adapting to complex environmental periodicities  Basic binary decision diagram operations for image processing  Adaptive object storage system for mobile computing environments  Structure of user interface module for practical internet messages  Software specification using LASS  Nepi2: a twolevel calculus for network programming based on the ?calculus  On semantics of reactive rulebased systems  The nonstandard semantics of Esterel  Hybrid support for lenient implementation of Arraycomprehension  Solver for hierarchical CSP containing several constraint types and multioutput constraints.  
520  _aThis book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, realtime computing, networking, mobile computing, image processing, hardware verification, and parallel processing.  
650  0  _aComputer science.  
650  0  _aMicroprocessors.  
650  0  _aComputer communication systems.  
650  0  _aSoftware engineering.  
650  0  _aComputers.  
650  0  _aArtificial intelligence.  
650  1  4  _aComputer Science. 
650  2  4  _aSoftware Engineering/Programming and Operating Systems. 
650  2  4  _aTheory of Computation. 
650  2  4  _aArtificial Intelligence (incl. Robotics). 
650  2  4  _aComputer Communication Networks. 
650  2  4  _aProcessor Architectures. 
700  1 
_aShyamasundar, R. K. _eeditor. 

700  1 
_aUeda, K. _eeditor. 

710  2  _aSpringerLink (Online service)  
773  0  _tSpringer eBooks  
776  0  8 
_iPrinted edition: _z9783540638759 
830  0 
_aLecture Notes in Computer Science, _x03029743 ; _v1345 

856  4  0  _uhttp://dx.doi.org/10.1007/354063875X 
912  _aZDB2SCS  
912  _aZDB2LNC  
912  _aZDB2BAE  
942 
_2ddc _cEB 

950  _aComputer Science (Springer11645)  
999 
_c14419 _d14419 