|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11948 occurrences of 5723 keywords
|
|
|
Results
Found 15215 publication records. Showing 15186 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Yoonsik Cheon, Ashaveena Perumandla |
Specifying and checking method call sequences of Java programs. |
Softw. Qual. J. |
2007 |
DBLP DOI BibTeX RDF |
Method call sequence specification, Programming by contract, Assertion, Pre and postconditions, Runtime checking, JML language |
20 | Majid Ghaderi, Raouf Boutaba |
Call Admission Control for Voice/Data Integration in Broadband Wireless Networks. |
IEEE Trans. Mob. Comput. |
2006 |
DBLP DOI BibTeX RDF |
voice/data integration, broadband wireless networks, quality-of-service, Call admission control |
20 | Robert C. Hampshire, William A. Massey |
Variational optimization for call center staffing. |
Richard Tapia Celebration of Diversity in Computing Conference |
2005 |
DBLP DOI BibTeX RDF |
asymptotic methods, variational calculus, call centers, limit theorems |
20 | Júlíus Atlason, Marina A. Epelman, Shane G. Henderson |
Call Center Staffing with Simulation and Cutting Plane Methods. |
Ann. Oper. Res. |
2004 |
DBLP DOI BibTeX RDF |
sample average approximation, call centers, cutting planes, simulation optimization |
20 | Federica Cena, Ilaria Torre 0001 |
Increasing performances and personalization in the interaction with a call center system. |
IUI |
2004 |
DBLP DOI BibTeX RDF |
VUI voice user interface, automatic response, calls routing management, adaptation, speech recognition, call center |
20 | Gary Doucette, Ginger LeBlanc |
The call tracking system. |
SIGUCCS |
2002 |
DBLP DOI BibTeX RDF |
communication, training, organization, helpdesk, call tracking |
20 | Gail C. Murphy, David Notkin, William G. Griswold, Erica S.-C. Lan |
An Empirical Study of Static Call Graph Extractors. |
ACM Trans. Softw. Eng. Methodol. |
1998 |
DBLP DOI BibTeX RDF |
software system analysis, static analysis, empirical study, design space, call graphs |
20 | Brahim Bensaou, Shirley T. C. Lam, Hon-Wai Chu, Danny H. K. Tsang |
Estimation of the cell loss ratio in ATM networks with a fuzzy system and application to measurement-based call admission control. |
IEEE/ACM Trans. Netw. |
1997 |
DBLP DOI BibTeX RDF |
fuzzy logic, ATM, call admission control, cell loss ratio |
20 | Chih-Lin I, Gregory P. Pollini, Richard D. Gitlin |
PCS mobility management using the reverse virtual call setup algorithm. |
IEEE/ACM Trans. Netw. |
1997 |
DBLP DOI BibTeX RDF |
reverse virtual call setup, mobility management, PCS, personal communications |
20 | Xuefeng Dong, Ten-Hwang Lai |
An Efficient Protocol for Call Setyp and Path Migration in IEEE 802.6 Based Personal Communication Networks. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
isochronous channels, path migration, call setup, routing, DQDB |
20 | Zhen Liu 0001, Philippe Nain, Donald F. Towsley |
Exponential bounds with applications to call admission. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
exponential bound, matrix analysis, tail distribution, Markov chain, call admission control, queues, effective bandwidth, ergodicity, Markov additive process, large deviation principle |
20 | David A. Levine, Ian F. Akyildiz, Mahmoud Naghshineh |
The Shadow Cluster Concept for Resource Allocation and Call Admission in ATM-Based Wireless Networks. |
MobiCom |
1995 |
DBLP DOI BibTeX RDF |
active mobile probability, call admission, shadow cluster, resource allocation |
19 | Malgorzata Biernacka, Dariusz Biernacki |
Context-based proofs of termination for typed delimited-control operators. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics |
19 | Stefano Bregni, Roberto Cioffi, Maurizio Decina |
An Empirical Study on Time-Correlation of GSM Telephone Traffic. |
IEEE Trans. Wirel. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Ying Jin 0002 |
Formal Verification of Protocol Properties of Sequential Java Programs. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Suvasini Panigrahi, Amlan Kundu 0002, Shamik Sural, Arun K. Majumdar |
Use of Dempster-Shafer Theory and Bayesian Inferencing for Fraud Detection in Mobile Communication Networks. |
ACISP |
2007 |
DBLP DOI BibTeX RDF |
Dempster-Shafer theory, fraud detection, Bayesian learning, Mobile communication networks |
19 | Yi-Bing Lin, Meng-Hsun Tsai |
Caching in I-CSCF of UMTS IP multimedia subsystem. |
IEEE Trans. Wirel. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Idil Candan, Muhammed Salamah |
A time-threshold based multi-guard bandwidth allocation scheme for cellular networks. |
ISCN |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Wappler, Joachim Wegener |
Evolutionary unit testing of object-oriented software using strongly-typed genetic programming. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
object-orientation, evolutionary testing, automated test case generation, strongly-typed genetic programming |
19 | Majid Ghaderi, Raouf Boutaba, Gary W. Kenward |
Stochastic Admission Control for Quality of Service in Wireless Packet Networks. |
NETWORKING |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Partha Sarathi Dutta, Nicholas R. Jennings, Luc Moreau 0001 |
Sharing information for Q-learning-based network bandwidth estimation and network failure detection. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
Q-learning, bandwidth estimation, network failures |
19 | Hui-Nien Hung, Yi-Bing Lin, Nan-Fu Peng, Hsien-Ming Tsai |
Repacking on demand for two-tier wireless local loop. |
IEEE Trans. Wirel. Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Xiaotao Wu, Henning Schulzrinne |
SIPC, a multi-function SIP user agent. |
MMNS |
2004 |
DBLP DOI BibTeX RDF |
multi-function integration, networked appliance control, SIP event notification, LESS, location-based services, SIP, floor control, RTSP, SLP, SAP |
19 | Sajal K. Das 0001, Enoch Lee, Kalyan Basu, Sanjoy K. Sen |
Performance Optimization of VoIP Calls over Wireless Links Using H.323 Protocol. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
H.323 protocol, link-level QoS, radio link protocol (RLP), Wireless network, performance study |
19 | Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis |
High Performance Code Generation through Lazy Activation Records. |
Interaction between Compilers and Computer Architectures |
2003 |
DBLP DOI BibTeX RDF |
Register Utilization, Activation Records, Low Power Optimization, Embedded Systems |
19 | Mahmoud Naghshineh, Anthony S. Acampora |
Design and control of micro-cellular networks with QOS provisioning for data traffic. |
Wirel. Networks |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Vincent Lin |
A Proposal for Calling Conventions for APL Defined Functions. |
APL |
1996 |
DBLP DOI BibTeX RDF |
APL |
19 | Yi-Bing Lin |
Eliminating tromboning mobile call setup for international roaming users. |
IEEE Trans. Wirel. Commun. |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Meng-Hsun Tsai, Yuan-Kai Chen, Yi-Bing Lin, Hui-Wen Dai |
Bearer reservation with preemption for voice call continuity. |
IEEE Trans. Wirel. Commun. |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Dionysia K. Petraki, Panayotis G. Cottis, Markos P. Anastasopoulos, Athanasios V. Vasilakos, Hsiao-Hwa Chen |
Call admission control scheme for multiclass services under rain fading for satellite networks. |
IEEE Trans. Wirel. Commun. |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Kalyan Kuppuswamy, Daniel C. Lee 0001 |
An analytic approach to efficiently computing call blocking probabilities for multiclass WDM networks. |
IEEE/ACM Trans. Netw. |
2009 |
DBLP DOI BibTeX RDF |
knapsack approximation, multiclass fixed-point approximation, optical WDM networks, performance evaluation, blocking probability, loss networks |
19 | Deyong Hu, Bin Wu 0001, Qi Ye, Bai Wang 0001 |
Structure Correlation in Mobile Call Networks. |
ADMA |
2009 |
DBLP DOI BibTeX RDF |
Clique Size Vector, Visualization, Social Network, Correlation, Anomaly, Structural Property |
19 | Emre A. Yavuz, Victor C. M. Leung |
Efficient Methods for Performance Evaluations of Call Admission Control Schemes in Multi-Service Cellular Networks. |
IEEE Trans. Wirel. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Frank Eichinger, Klemens Böhm, Matthias Huber |
Mining Edge-Weighted Call Graphs to Localise Software Bugs. |
ECML/PKDD (1) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Saowaphak Sasanus, David Tipper, Yi Qian 0001 |
Impact of Signaling Load on the UMTS Call Blocking/Dropping. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Hui-Na Chua, Patrick Legrand, Karyn Wei-Ju Khoo, Simon Ringland, Bruno Legat |
Innovative Call Routing: Concept and Experimental Observations. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yadan Deng, Ning Jing, Wei Xiong 0010 |
A New Database Adaptive Buffer Replacement Algorithm Based on Call Graph Optimization. |
WAIM |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Joakim Gustafson, Mattias Heldner, Jens Edlund |
Potential Benefits of Human-Like Dialogue Behaviour in the Call Routing Domain. |
PIT |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Abhinav Srivastava, Andrea Lanzi, Jonathon T. Giffin |
System Call API Obfuscation (Extended Abstract). |
RAID |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Vinayaka Pandit, Natwar Modani, Sougata Mukherjea, Amit Anil Nanavati, Sambuddha Roy, Amit Agarwal |
Extracting dense communities from telecom call graphs. |
COMSWARE |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Chenn-Jung Huang, Yi-Ju Yang, Dian-Xiu Yang, You-Jia Chen, Hsiang-Yu Wei |
Realization of an Intelligent Frog Call Identification Agent. |
KES-AMSTA |
2008 |
DBLP DOI BibTeX RDF |
k-th nearest neighboring, support vector machines, intelligent agent, gaussian mixture model, Mahalanobis distance |
19 | Stephanie Forrest, Steven A. Hofmeyr, Anil Somayaji |
The Evolution of System-Call Monitoring. |
ACSAC |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Udo Adamy, Christoph Ambühl, R. Sai Anand, Thomas Erlebach |
Call Control in Rings. |
Algorithmica |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jian Ni, Danny H. K. Tsang, Sekhar Tatikonda, Brahim Bensaou |
Optimal and Structured Call Admission Control Policies for Resource-Sharing Systems. |
IEEE Trans. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley |
Correcting the Dynamic Call Graph Using Control-Flow Constraints. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Olabisi Emmanuel Falowo, H. Anthony Chan |
Analysis of Joint Call Admission Control Strategies for Heterogeneous Cellular Networks. |
ISCC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Shi Pu, Bo Lang |
An Intrusion Detection Method Based on System Call Temporal Serial Analysis. |
ICIC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han |
A Static Birthmark of Binary Executables Based on API Call Structure. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
software piracy, binary analysis, software birthmark |
19 | George Konstantoulakis, Morris Sloman |
Call Management Policy Specification for the Asterisk Telephone Private Branch Exchange. |
POLICY |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Maryam Fanaeepour, Leila Naghavian, Mohammad Abdollahi Azgomi |
Modeling and Evaluation of Call Centers with GSPN Models. |
AICCSA |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sheila Garfield, Stefan Wermter |
Call classification using recurrent neural networks, support vector machines and finite state automata. |
Knowl. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Spontaneous language, Classification, Support-vector machines, Recurrent neural networks, Finite-state automata |
19 | Scott McMaster, Atif M. Memon |
Call Stack Coverage for GUI Test-Suite Reduction. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Miroslaw Narbutt, Mark Davis |
Gauging VoIP Call Quality from 802.11 WLAN Resource Usage. |
WOWMOM |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Okan Yilmaz, Ing-Ray Chen |
Utilizing Call Admission Control to Derive Optimal Pricing of Multiple Service Classes in Wireless Cellular Networks. |
ICPADS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Cara Nicole Greene |
Computer-Assisted Language Learning (CALL) for Dyslexic Students. |
ICCHP |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
On the New Application of Call Patterns to CPM Testing of Prolog Programs. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Dusit Niyato, Ekram Hossain 0001 |
Call admission control for QoS provisioning in 4G wireless networks: issues and approaches. |
IEEE Netw. |
2005 |
DBLP DOI BibTeX RDF |
|
19 | YoungHa Hwang, SungKee Noh |
A Call Admission Control Scheme for Heterogeneous Service Considering Fairness in Wireless Networks. |
ACIS-ICIS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Rodney B. Wallace, Robert Saltzman |
Comparing skill-based routing call center simulations using C programming and arena models. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Kyungkoo Jun, Seokhoon Kang |
Call Admission Control for Next Generation Cellular Networks Using on Demand Round Robin Bandwidth Sharing. |
ICN (2) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jian Ni, Danny H. K. Tsang, Sekhar Tatikonda, Brahim Bensaou |
Threshold and reservation based call admission control policies for multiservice resource-sharing systems. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Valery Pryamikov |
Call Tree Transformation for Program Obfuscation and Copy Protection. |
DRMTICS |
2005 |
DBLP DOI BibTeX RDF |
Software Copy Protection, Software Watermarking, Software Obfuscation |
19 | Wen Chen 0001, Feiyu Lei, Weinong Wang |
A General Framework for Analyzing the Optimal Call Admission Control in DS-CDMA Cellular Network. |
ICCSA (2) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Cyril Canon, Jean-Charles Billaut, Jean-Louis Bouquard |
Dimensioning an Inbound Call Center Using Constraint Programming. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Zahid Anwar, William Yurcik, Salman Baset, Henning Schulzrinne, Roy H. Campbell |
A First Step Towards Call Survivability in Cellular Networks. |
LCN |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Sidi-Mohammed Senouci, André-Luc Beylot, Guy Pujolle |
Call admission control in cellular networks: a reinforcement learning solution. |
Int. J. Netw. Manag. |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Chae Y. Lee, Jun Jo |
Service specific call admission control in WCDMA system. |
VTC Fall (2) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Sherif Rashad, Mehmed M. Kantardzic, Anup Kumar |
A Data Mining Approach for Call Admission Control and Resource Reservation in Wireless Mobile Networks. |
ICDM |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Masahito Hasegawa |
Semantics of Linear Continuation-Passing in Call-by-Name. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | C. W. Ong, J. C. Tay |
A Robust Rule-Based Event Management Architecture for Call-Data Records. |
KES |
2004 |
DBLP DOI BibTeX RDF |
CDR loss rate, event filtering and correlation, Rule-based system |
19 | Adel Al-Taitoon, Carsten Sørensen |
Supporting Mobile Professionals in Global Banking: The Role of Global ICT-Support Call-Centres. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | SungKee Noh, YoungHa Hwang, Ki-Il Kim, Sang-Ha Kim 0001 |
Achieving Fair New Call CAC for Heterogeneous Services in Wireless Networks. |
ICCSA (4) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Mikhail Dmitriev 0001 |
Profiling Java applications using code hotswapping and dynamic call graph revelation. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Marcin Paprzycki, Ajith Abraham, Ruiyuan Guo, Srinivas Mukkamala |
Data Mining Approach for Analyzing Call Center Performance. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Petia Todorova, Stephan Olariu, Hoang Nam Nguyen |
A Two-Cell-Lookahead Call Admission and Handoff Management Scheme for Multimedia LEO Satellite Networks. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Mohammad Mahfuzul Islam, M. Manzur Murshed, Laurence Dooley |
New Mobility Based Call Admission Control with On-Demand Borrowing Scheme for QOS Provisioning. |
ITCC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Kyubum Wee, Byungeun Moon |
Automatic Generation of Finite State Automata for Detecting Intrusions Using System Call Sequences. |
MMM-ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Fei Hu, Neeraj K. Sharma |
An Optimal Reservation-Pool Approach for Guaranteeing the Call-Level QoS in Next-Generation Wireless Networks. |
NETWORKING |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Qian Huang 0003, Hui-Min Chen, King-Tim Ko, Sammy Chan, King Sun Chan |
Call Admission Control for 3G CDMA Networks with Differentiated QoS. |
NETWORKING |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Udo Adamy, Christoph Ambühl, R. Sai Anand, Thomas Erlebach |
Call Control in Rings. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Chinchol Kim, Byounguk Choi, Yichul Kang, Keecheon Kim, Sunyoung Han |
Design and Implementation of the VoIPv6 Supporting the Differentiated Call Processing. |
ICOIN (1) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Chang Ho Choi, Myung Il Kim, Sung-Jo Kim |
Call Admission Control Using the Moving Pattern of Mobile User for Mobile Multimedia Networks. |
LCN |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Raffaele Bolla, Franco Davoli, Mario Marchese, Marco Perrando |
Call Admission Control and Routing of QoS-Aware and Best-Effort Flows in an IP-over-ATM Networking Environment. |
QoS-IP |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Monika Tarantowicz-Gasiewicz |
Student Modelling for CALL Based on Pedagogical Standards. |
User Modeling |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Murali Annavaram, Jignesh M. Patel, Edward S. Davidson |
Call Graph Prefetching for Database Applications. |
HPCA |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Alec Miloslavski, V. Antonov, L. Yegoshin, S. Shkrabov, J. Boyle, Gregory Pogosyants, Nikolay A. Anisimov |
Third-Party Call Control in H.323 Networks - A Case Study. |
ICN (2) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Derek Rayside, Steve Reuss, Erik Hedges, Kostas Kontogiannis |
The Effect of Call Graph Construction Algorithms for Object-Oriented Programs on Automatic Clustering. |
IWPC |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Dragan Jevtic, Denis Sablic |
Intelligent Call Transfer Based on Reinforcement Learning. |
IJCNN (6) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Chi-Jui Ho, Chin-Tau A. Lea |
Improving call admission policies in wireless networks. |
Wirel. Networks |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Ken-etsu Fujita |
Polymorphic Call-by-Value Calculus Based on Classical Proofs. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Moshe Sidi, David Starobinski |
New call blocking versus handoff blocking in cellular networks. |
Wirel. Networks |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Amr Sabry, Philip Wadler |
A Reflection on Call-by-Value. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
compiling, continuations, category theory, Galois connections |
19 | Saumya K. Debray, Todd A. Proebsting |
Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
control-flow analysis |
19 | Thomas Erlebach, Klaus Jansen |
Call Scheduling in Trees, Rings and Meshes. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Baruch Awerbuch, Yossi Azar, Amos Fiat, Stefano Leonardi 0001, Adi Rosén |
On-line Competive Algorithms for Call Admission in Optical Networks. |
ESA |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Koenraad De Bosschere, Saumya K. Debray, David Gudeman, Sampath Kannan |
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Jon G. Riecke |
A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report). |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
19 | S. Kamal Abdali, David S. Wise |
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Lindsay Groves |
Using Simple English Sentences to Call Procedures. |
ACM SIGPLAN Notices |
1982 |
DBLP DOI BibTeX RDF |
|
19 | Susan L. Graham, Peter B. Kessler, Marshall K. McKusick |
gprof: a call graph execution profiler (with retrospective) |
Best of PLDI |
1982 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 15186 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|