Software - Practice and Experience (SPE), Volume 31, 2001

Volume 31, Number 1, January 2001

• Francisco J. González-Castaño, Luis E. Anido-Rifón, José M. Pousada Carballo, Pedro S. Rodríguez-Hernández, R. López-Gómez:
  A Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous networks. 1-16
  
• F. Bosi, Michela Milano:
  Enhancing CLP branch and bound techniques for scheduling problems. 17-42
  
• Kazuhiro Morita, Masao Fuketa, Yoshihiro Yamakawa, Jun-Ichi Aoe:
  Fast insertion methods of a double-array structure. 43-65
  
• Robert Muth, Saumya K. Debray, Scott A. Watterson, Koenraad De Bosschere:
  alto: a link-time optimizer for the Compaq Alpha. 67-101
  

Volume 31, Number 2, February 2001

• Fabio Bellifemine, Agostino Poggi, Giovanni Rimassa:
  Developing multi-agent systems with a FIPA-compliant agent framework. 103-128
  
• Da-Wei Chang, Ruei-Chuan Chang:
  EJVM: an economic Java run-time environment for embedded devices. 129-146
  
• G. F. Levy:
  Numeric ActiveX components. 147-189
  
• Didier Bégay, Antoine Rauzy:
  A realistic involvement of formal methods. 191-208
  

Volume 31, Number 3, March 2001

• Lidia Fuentes, José M. Troya:
  Coordinating distributed components on the web: an integrated development environment. 209-233
  
• Paul E. McKenney, Jack Slingwine, Phil Krueger:
  Experience with an efficient parallel kernel memory allocator. 235-257
  
• Francesco Bellotti, Riccardo Berta, Alessandro De Gloria, Andrea Poggi:
  DirectJ: Java APIs for optimized 2D graphics. 259-275
  
• Jilles van Gurp, Jan Bosch:
  Design, implementation and evolution of object oriented frameworks: concepts and guidelines. 277-300
  

Volume 31, Number 4, April 2001

• Neeran M. Karnik, Anand R. Tripathi:
  Security in the Ajanta mobile agent system. 301-329
  
• Giuliano Antoniol, Gerardo Canfora, Gerardo Casazza, Andrea De Lucia:
  Maintaining traceability links during object-oriented software evolution. 331-355
  
• K. Viswanathan Iyer, M. Harinath:
  Java based replicated server objects and their remote method invocations in a distributed environment. 357-370
  
• Tarja Systä, Kai Koskimies, Hausi A. Müller:
  Shimba - an environment for reverse engineering Java software systems. 371-394
  

Volume 31, Number 5, April 2001

• John J. Bartholdi III, Paul Goldsman:
  Vertex-labeling algorithms for the Hilbert spacefilling curve. 395-408
  
• Mengchi Liu:
  The Relationlog system prototype. 409-443
  
• Gor V. Nishanov, Sibylle Schupp:
  A mostly-copying collector component for class templates. 445-470
  
• Wallapak Tavanapong, Kien A. Hua:
  Design and implementation of a video browsing system for the Internet. 471-503
  

Volume 31, Number 6, May 2001

• James Noble, Doug Lea:
  Editorial: Aliasing in object-oriented systems. 505
  
• Jan Vitek, Boris Bokowski:
  Confined types in Java. 507-532
  
• John Boyland:
  Alias burying: Unique variables without destructive reads. 533-553
  
• Günter Kniesel, Dirk Theisen:
  JAC - Access right based encapsulation for Java. 555-576
  
• Antony L. Hosking, Nathaniel Nystrom, David Whitlock, Quintin I. Cutts, Amer Diwan:
  Partial redundancy elimination for access path expressions. 577-600
  
• Olivier Zendra, Dominique Colnet:
  Coping with aliasing in the GNU Eiffel Compiler implementation. 601-613
  

Volume 31, Number 7, June 2001

• Ding-Yi Chen, Tyng-Ruey Chuang, Shi-Chun Tsai:
  JGAP: a Java-based graph algorithms platform. 615-635
  
• Scott M. Baker, John H. Hartman:
  The design and implementation of the Gecko NFS Web proxy. 637-665
  
• Hsin-Ta Chiao, Shyan-Ming Yuan:
  An enhanced thread synchronization mechanism for Java. 667-695
  
• Reinhard Klemm, Navjot Singh:
  Enhancing Java server availability with JAS. 697-716
  

Volume 31, Number 8, July 2001

• Chandra Krintz, David Grove, Vivek Sarkar, Brad Calder:
  Reducing the overhead of dynamic compilation. 717-738
  
• M. Scott Marshall, Ivan Herman, Guy Melançon:
  An object-oriented design for graph visualization. 739-756
  
• Fiona Polack:
  A case study using lightweight formalism to review an information system specification. 757-780
  
• David B. Makofske, Kevin C. Almeroth:
  From broadcast television to Internet audio/video: techniques and tools for VCR-style interactivity. 781-801
  
• John Aycock, R. Nigel Horspool:
  Schrödinger's token. 803-814
  

Volume 31, Number 9, July 2001

• Peter M. Fenwick:
  Fast string matching for multiple searches. 815-833
  
• Peter M. Fenwick:
  Some perils of performance prediction: a case study on pattern matching. 835-843
  
• Luis E. Anido-Rifón, Martín Llamas Nistal, Manuel J. Fernández Iglesias:
  Developing WWW-based highly interactive and collaborative applications using software components. 845-867
  
• Matthew L. Seidl, Benjamin G. Zorn:
  Implementing heap-object behavior prediction efficiently and effectively. 869-892
  

Volume 31, Number 10, August 2001

• Hugh E. Williams, Justin Zobel, Steffen Heinz:
  Self-adjusting trees in practice for large text collections. 925-939
  
• Tony Printezis, Malcolm P. Atkinson:
  An efficient object promotion algorithm for persistent object systems. 941-981
  
• S. Glass, Darrel C. Ince, E. Fergus:
  Llun - a high-level debugger for generated parsers. 983-1001
  
• Johanne Morin, Stan Matwin:
  GENEX: a tool for testing in ILP. 1003-1023
  

Volume 31, Number 11, September 2001

• Gabriele Manduchi:
  Developing Java applications for a nuclear fusion experiment: a test case for Java applicability in a demanding environment. 1025-1042
  
• Hemal V. Shah, Rajesh S. Madukkarumukumana:
  Design and implementation of efficient communication abstractions on the Virtual Interface Architecture: Stream sockets and RPC experience. 1043-1065
  
• Grant W. Petty:
  Automated computation and consistency checking of physical dimensions and units in scientific programs. 1067-1076
  
• Marcin Ciura, Sebastian Deorowicz:
  How to squeeze a lexicon. 1077-1090
  
• Raúl A. Santelices, Miguel Nussbaum:
  A framework for the development of videogames. 1091-1107
  

Volume 31, Number 12, October 2001

• Michael M. J. Zastre, R. Nigel Horspool:
  Exploiting exceptions. 1109-1123
  
• Pei-Chi Wu:
  A base62 transformation format of ISO 10646 for multilingual identifiers. 1125-1130
  
• Jeff Kotula:
  Branded interface toolkits. 1131-1142
  
• Gopal Gupta, Enrico Pontelli:
  Optimization schemas for parallel implementation of non-deterministic languages and systems. 1143-1181
  
• Rajsekhar Das, Matti A. Hiltunen, Richard D. Schlichting:
  Supporting configurability and real time in RTD channels. 1183-1209
  

Volume 31, Number 13, November 2001

• L. I. Manolache, Derrick G. Kourie:
  Software testing using model programs. 1211-1236
  
• Eric Bruneton, Michel Riveill:
  An architecture for extensible middleware platforms. 1237-1264
  
• Gonzalo Navarro:
  NR-grep: a fast and flexible pattern-matching tool. 1265-1312
  

Volume 31, Number 14, November 2001

• Janche Sang, Gregory J. Follen, Chan M. Kim, Isaac Lopez, Scott Townsend:
  Migrating legacy scientific applications towards CORBA-based client-server architectures. 1313-1330
  
• Luis E. Anido-Rifón, Juan M. Santos, Manuel Caeiro, Judith S. Rodríguez, Manuel J. Fernández Iglesias, Martín Llamas Nistal:
  Moving the business logic tier to the client. Cost-effective distributed computing for the WWW. 1331-1350
  
• Tetsuya Suzuki, Takehiro Tokuda:
  The DeltaUp constraint solver: minimizing the number of method selections in DeltaBlue. 1351-1361
  
• Shashank Khanvilkar, Sol M. Shatz:
  Tool integration for flexible simulation of distributed algorithms. 1363-1380
  
• Baowen Xu, Yuming Zhou:
  Comments on A cohesion measure for object-oriented classes by Heung Seok Chae, Yong Rae Kwon and Doo Hwan Bae. 1381-1388
  
• Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae:
  Response to Comments on: A cohesion measure for object-oriented classes. 1389-1392
  
• Hsin-Ta Chiao, Shyan-Ming Yuan:
  The real inventor of the monitor concept: A short note to correct the SP&E paper entitled An enhanced thread synchronization mechanism for Java. 1393
  

Volume 31, Number 15, December 2001

• Ralf Lämmel, Chris Verhoef:
  Semi-automatic grammar recovery. 1395-1438
  
• Nitzan Niv, Assaf Schuster:
  Transparent adaptation of sharing granularity in MultiView-based DSM systems. 1439-1459
  
• Phil Cook, Jim Welsh:
  Incremental parsing in language-based editors: user needs and how to meet them. 1461-1486
  
• H. Kakugawa, Mikiko Nishikimi, Naoto Takahashi, S. Tomura, Ken'ichi Handa:
  A general purpose font module for multilingual application programs. 1487-1508
  

Last update Sat May 26 07:06:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page