Advances in computing science - ASIAN '97: third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1997
|
| Schriftenreihe: | Lecture notes in computer science
1345 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 386 S. graph. Darst. |
| ISBN: | 354063875X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011637921 | ||
| 003 | DE-604 | ||
| 005 | 19980318 | ||
| 007 | t| | ||
| 008 | 971110s1997 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 952015455 |2 DE-101 | |
| 020 | |a 354063875X |9 3-540-63875-X | ||
| 035 | |a (OCoLC)845024553 | ||
| 035 | |a (DE-599)BVBBV011637921 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-20 |a DE-91G |a DE-739 |a DE-384 |a DE-19 |a DE-521 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA75.5.A735 1997 | |
| 082 | 0 | |a 004 21 | |
| 084 | |a DAT 001f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 111 | 2 | |a Asian Computing Science Conference |n 3 |d 1997 |c Katmandu |j Verfasser |0 (DE-588)2166762-7 |4 aut | |
| 245 | 1 | 0 | |a Advances in computing science - ASIAN '97 |b third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings |c R. K. Shyamasundar ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1997 | |
| 300 | |a XIII, 386 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1345 | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science -- Congresses | |
| 650 | 4 | |a Electronic data processing -- Congresses | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Katmandu |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Shyamasundar, Rudrapatna K. |d 1950- |e Sonstige |0 (DE-588)113120591 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1345 |w (DE-604)BV000000607 |9 1345 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007843153&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007843153 | |
Datensatz im Suchindex
| _version_ | 1820874870910615552 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
KEYNOTE
ADDRESS
CORRECTNESS
OF
PROGRAMS
AND
PROTOCOLS
THROUGH
RANDOMIZATION
.
1
MICHAEL
O.
RABIN
INVITED
LECTURES
MEDICAL
IMAGE
ANALYSIS
AND
SIMULATION
.
4
NICHOLAS
AY
ACHE
VERIFICATION
OF
PIPELINED
MICROPROCESSORS
BY
COMPARING
MEMORY
EXECUTION
SEQUENCES
IN
SYMBOLIC
SIMULATION
.
18
RANDAL
E.
BRYANT,
MIROSLAV
N.
VELEV
SESSION
1
RULES
FOR
ABSTRACTION
.
32
STEPHAN
MERZ
COMBINING
Z
AND
TEMPORAL
INTERVAL
LOGICS
FOR
THE
FORMALIZATION
OF
PROPERTIES
AND
BEHAVIORS
OF
EMBEDDED
SYSTEMS
.
46
ROBERT
BUSSOW,
WOLFGANG
GRIESKAMP
RULES
FOR
TRACE
CONSISTENT
REASONING
.
57
R.
RAMANUJAM
SESSION
2
SENSITIVITY
ANALYSIS
OF
REAL-TIME
TASK
SETS
.
72
SASIKUMAR
PUNNEKKAT,
ROB
DAVIS,
ALAN
BURNS
DYNAMIC
MULTIPROCESSOR
SCHEDULING
FOR
SUPPORTING
REAL-TIME
CONSTRAINTS
83
SHIN-MU
TSENG,
Y.
H.
CHIN,
WEI-PANG
YANG
HEURISTIC
DIFF
ACQUIRING
IN
LAZY
RELEASE
CONSISTENCY
MODEL
.
98
ZHIYI
HUANG,
WAN-JU
LEI,
CHENGZHENG
SUN,
ABDUL
SATTAR
SESSION
3
REPRESENTATION
OF
DISCRETELY
CONTROLLED
CONTINUOUS
SYSTEMS
IN
SOFTWARE
ORIENTED
FORMAL
ANALYSIS
.
110
TETSUYA
MIZUTANI,
SHIGERU
IGARASHI,
KOHJI
TOMITA,
MASAYUKI
SHIO
A
GENERALIZED
FRAMEWORK
FOR
REASONING
WITH
MULTI-POINT
EVENTS
.
121
R.
WETPRASIT,
A.
SATTAR,
L.
KHATIB
IMPLEMENTING
CONSTRAINT
RETRACTION
FOR
FINITE
DOMAINS
.
136
YAN
GEORGET,
PHILIPPE
CODOGNET,
FRANCESCA
ROSSI
XII
SESSION
4
INSTANCE:
THE
INTERMEDIATE
STORAGE
NODE
CONCEPT
.
151
THOMAS
PLAGEMANN,
VERA
GOEBEL
CHECKING
HYBRID
AUTOMATA
FOR
LINEAR
DURATION
INVARIANTS
.
166
LI
XUANDONG,
DANG
VAN
HUNG,
ZHENG
TAO
HIERARCHICAL
AUTOMATA
AS
MODEL
FOR
STATECHARTS
.
181
ERICH
MIKK,
YASSINE
LAKHNECH,
MICHAEL
SIEGEL
SESSION
5
PROOF
DISCOVERY
IN
LK
SYSTEM
BY
ANALOGY
.
197
MASATERU
HARAO
EFFICIENT
INDUCTION
OF
EXECUTABLE
LOGIC
PROGRAMS
FROM
EXAMPLES
.
212
NOBUHIRO
INUZUKA,
HIROHISA
SEKI,
HIDENORI
ITOH
AUTOMATED
VERIFICATION
OF
BEHAVIOURAL
PROPERTIES
OF PROLOG
PROGRAMS
.
225
B.
LE
CHARLIER,
C.
LECLERE,
S.
ROSSI,
A.
CORTESI
SESSION
6
TYPING
THE
USE
OF
RESOURCES
IN
A
CONCURRENT
CALCULUS
.
239
GERARD
BOUDOL
AN
IMPERATIVE
LANGUAGE
WITH
READ/WRITE
TYPE
MODES
.
254
PAUL
ROE
EFFICIENT
GOAL
SCHEDULING
IN
A
CONCURRENT
LOGIC
LANGUAGE
USING
TYPE
BASED
DEPENDENCY
ANALYSIS
.
268
KAZUHIKO
OHNO,
MASAHIKO
IKAWA,
MASAHIRO
GOSHIMA,
SHIN-ICHIRO
MORI,
HIROSHI
NAKASHIMA,
SHINJI
TOMITA
SESSION
7
AN
ANALYSIS
OF
DIVISIBILITY
ORDERINGS
AND
RECURSIVE
PATH
ORDERINGS
.
283
RYU
HASEGAWA
SHARE-WHERE
MAINTENANCE
IN
VISUAL
ALGEBRAIC
SPECIFICATIONS
.
297
T.
B.
DINESH,
SUSAN
M.
USKIIDARH
A
FAULT
TOLERANT
BROADCAST
SCHEME
IN
STAR
GRAPHS
.
312
SATOSHI
FUJITA
XIII
SESSION
8
CALCULUS
OF
CLASSICAL
PROOFS
I
.
321
KEN-ETSU
FUJITA
TRACING
THE
EVALUATION
OF
LAZY
FUNCTIONAL
LANGUAGES:
A
MODEL
AND
ITS
IMPLEMENTATION
.
336
RICHARD
WATSON,
ERIC
SALZMAN
BASIC
RESULTS
IN
AUTOMATIC
TRANSFORMATIONS
OF
SHARED
MEMORY
PARALLEL
PROGRAMS
INTO
SEQUENTIAL
PROGRAMS
.
351
YOSI
BEN-ASHER,
ESTI
STEIN
POSTERS
RECURRENT
OSCILLATORY
SELF-ORGANIZING
MAP:
ADAPTING
TO
COMPLEX
ENVIRONMENTAL
PERIODICITIES
.
367
MAURI
KAIPAINEN,
PANTELIS
PAPADOPOULOS,
PASI
KARHU
BASIC
BINARY
DECISION
DIAGRAM
OPERATIONS
FOR
IMAGE
PROCESSING
.
368
C.
LURSINSAP,
K.
KANCHANASUT,
T.
SIRIBOON
ADAPTIVE
OBJECT
STORAGE
SYSTEM
FOR
MOBILE
COMPUTING
ENVIRONMENTS
.
371
TATSUO
NAKAJIMA
STRUCTURE
OF
USER
INTERFACE
MODULE
FOR
PRACTICAL
INTERNET
MESSAGES
.
373
MORIOKA
TOMOHIKO
SOFTWARE
SPECIFICATION
USING
LASS
.
375
MIHAI
BADONSKI,
MIRJANA
IVANOVIC,
ZORAN
BUDIMAC
NEPI
2
:
A
TWO-LEVEL
CALCULUS
FOR
NETWORK
PROGRAMMING
BASED
ON
THE
7R-CALCULUS
.
377
EIICHI
HORITA,
KEN
MANO
ON
SEMANTICS
OF
REACTIVE
RULE-BASED
SYSTEMS
.
379
MAN
LIN,
JACEK
MALEC,
SIMIN
NADJM-TEHRANI
THE
NON-STANDARD
SEMANTICS
OF
ESTEREL
.
381
JEAN-RAYMOND
GAGNE,
JOHN
PLAICE
HYBRID
SUPPORT
FOR
LENIENT
IMPLEMENTATION
OF
ARRAY-COMPREHENSION
.
383
SHIGERU
KUSAKABE,
KENTARO
INENAGA,
MAKOTO
AMAMIYA
SOLVER
FOR
HIERARCHICAL
CSP
CONTAINING
SEVERAL
CONSTRAINT
TYPES
AND
MULTI-OUTPUT
CONSTRAINTS
.
385
MOUHSSINE
BOUZOUBAA
AUTHOR
INDEX
.
387 |
| any_adam_object | 1 |
| author_GND | (DE-588)113120591 |
| author_corporate | Asian Computing Science Conference Katmandu |
| author_corporate_role | aut |
| author_facet | Asian Computing Science Conference Katmandu |
| author_sort | Asian Computing Science Conference Katmandu |
| building | Verbundindex |
| bvnumber | BV011637921 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5.A735 1997 |
| callnumber-search | QA75.5.A735 1997 |
| callnumber-sort | QA 275.5 A735 41997 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 SS 4800 |
| classification_tum | DAT 001f |
| ctrlnum | (OCoLC)845024553 (DE-599)BVBBV011637921 |
| dewey-full | 00421 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 21 |
| dewey-search | 004 21 |
| dewey-sort | 14 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011637921</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980318</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">971110s1997 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952015455</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354063875X</subfield><subfield code="9">3-540-63875-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845024553</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011637921</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5.A735 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Asian Computing Science Conference</subfield><subfield code="n">3</subfield><subfield code="d">1997</subfield><subfield code="c">Katmandu</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2166762-7</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in computing science - ASIAN '97</subfield><subfield code="b">third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings</subfield><subfield code="c">R. K. Shyamasundar ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 386 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1345</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1997</subfield><subfield code="z">Katmandu</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shyamasundar, Rudrapatna K.</subfield><subfield code="d">1950-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)113120591</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1345</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1345</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007843153&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007843153</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Katmandu gnd-content |
| genre_facet | Konferenzschrift 1997 Katmandu |
| id | DE-604.BV011637921 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:37Z |
| institution | BVB |
| institution_GND | (DE-588)2166762-7 |
| isbn | 354063875X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007843153 |
| oclc_num | 845024553 |
| open_access_boolean | |
| owner | DE-20 DE-91G DE-BY-TUM DE-739 DE-384 DE-19 DE-BY-UBM DE-521 DE-83 DE-188 DE-706 |
| owner_facet | DE-20 DE-91G DE-BY-TUM DE-739 DE-384 DE-19 DE-BY-UBM DE-521 DE-83 DE-188 DE-706 |
| physical | XIII, 386 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Asian Computing Science Conference 3 1997 Katmandu Verfasser (DE-588)2166762-7 aut Advances in computing science - ASIAN '97 third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings R. K. Shyamasundar ... (eds.) Berlin [u.a.] Springer 1997 XIII, 386 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1345 Datenverarbeitung Informatik Computer science -- Congresses Electronic data processing -- Congresses Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Katmandu gnd-content Informatik (DE-588)4026894-9 s DE-604 Shyamasundar, Rudrapatna K. 1950- Sonstige (DE-588)113120591 oth Lecture notes in computer science 1345 (DE-604)BV000000607 1345 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007843153&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Advances in computing science - ASIAN '97 third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings Lecture notes in computer science Datenverarbeitung Informatik Computer science -- Congresses Electronic data processing -- Congresses Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)1071861417 |
| title | Advances in computing science - ASIAN '97 third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings |
| title_auth | Advances in computing science - ASIAN '97 third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings |
| title_exact_search | Advances in computing science - ASIAN '97 third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings |
| title_full | Advances in computing science - ASIAN '97 third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings R. K. Shyamasundar ... (eds.) |
| title_fullStr | Advances in computing science - ASIAN '97 third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings R. K. Shyamasundar ... (eds.) |
| title_full_unstemmed | Advances in computing science - ASIAN '97 third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings R. K. Shyamasundar ... (eds.) |
| title_short | Advances in computing science - ASIAN '97 |
| title_sort | advances in computing science asian 97 third asian computing science conference kathmandu nepal december 9 11 1997 proceedings |
| title_sub | third Asian Computing Science Conference, Kathmandu, Nepal, December 9 - 11, 1997 ; proceedings |
| topic | Datenverarbeitung Informatik Computer science -- Congresses Electronic data processing -- Congresses Informatik (DE-588)4026894-9 gnd |
| topic_facet | Datenverarbeitung Informatik Computer science -- Congresses Electronic data processing -- Congresses Konferenzschrift 1997 Katmandu |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007843153&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT asiancomputingscienceconferencekatmandu advancesincomputingscienceasian97thirdasiancomputingscienceconferencekathmandunepaldecember9111997proceedings AT shyamasundarrudrapatnak advancesincomputingscienceasian97thirdasiancomputingscienceconferencekathmandunepaldecember9111997proceedings |